adjust test totality007 with --consolewidth for use with -f curses
commit343e956085983789f79251066811dca73a8d3d98
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:27 (12 years ago)
parent694bdf6
test/totality007/expected+2−1
@@ -1,3 +1,4 @@
11Type checking ./Totality.idr
2−Totality.idr:4:1:Totality.foo is not total as there are missing cases
2+Totality.idr:4:1:
3+Totality.foo is not total as there are missing cases
34Totality.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
22
33-- totality007
44-- Test that the package builder doesn't allow totality errors in a build
5−opts = ""
5+opts = "--consolewidth 80"
66sourcedir = src
77modules = Totality