git.iko.soy/Idris-dev
on master help sign in
adjust test totality007 with --consolewidth for use with -f curses
343e956Andreas Reuleaux
test/totality007/expected+2−1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1Type checking ./Totality.idr
1Type checking ./Totality.idr
2+Totality.idr:4:1:
2−Totality.idr:4:1:Totality.foo is not total as there are missing cases
3+Totality.foo is not total as there are missing cases
3Totality.idr:4:1:Could not build: Totality.foo is not total as there are missing cases
4Totality.idr:4:1:Could not build: Totality.foo is not total as there are missing cases
test/totality007/totality.ipkg+1−1
@@ -2,6 +2,6 @@ package totality
2
2
3-- totality007
3-- totality007
4-- Test that the package builder doesn't allow totality errors in a build
4-- Test that the package builder doesn't allow totality errors in a build
5−opts = ""
5+opts = "--consolewidth 80"
6sourcedir = src
6sourcedir = src
7modules = Totality
7modules = Totality