adjust test totality004 with --consolewidth for use with -f curses
commit999412f244c85cb2e2d9a0c46da3aefb1245cfae
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:08 (12 years ago)
parentc193a40
test/totality004/expected+4−2
@@ -1,3 +1,5 @@
11[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]
2−totality004a.idr:13:1:Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process
3−totality004a.idr:24:1:Main.main is possibly not total due to: Main.process
2+totality004a.idr:13:1:
3+Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process
4+totality004a.idr:24:1:
5+Main.main is possibly not total due to: Main.process
test/totality004/run+2−2
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−idris $@ totality004.idr -o totality004
2+idris --consolewidth 80 $@ totality004.idr -o totality004
33./totality004
4−idris $@ --check totality004a.idr
4+idris --consolewidth 80 $@ --check totality004a.idr
55rm -f totality004 *.ibc