adjust test totality006 with --consolewidth for use with -f curses
commit694bdf64d87061f51a85e0a640c820eae6e7a0ff
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:12 (12 years ago)
parent999412f
test/totality006/expected+4−2
@@ -1,3 +1,5 @@
1−totality006.idr:8:1:Main.prf is not total as there are missing cases
1+totality006.idr:8:1:
2+Main.prf is not total as there are missing cases
23totality006a.idr:11:6:prf' (S _) (S _) Oh is a valid case
3−totality006b.idr:10:1:totality006b.blargh is not total as there are missing cases
4+totality006b.idr:10:1:
5+totality006b.blargh is not total as there are missing cases
test/totality006/run+3−3
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−idris $@ totality006.idr --check
3−idris $@ totality006a.idr --check
4−idris $@ totality006b.idr --check
2+idris --consolewidth 80 $@ totality006.idr --check
3+idris --consolewidth 80 $@ totality006a.idr --check
4+idris --consolewidth 80 $@ totality006b.idr --check
55rm -f *.ibc