git.iko.soy/Idris-dev
on master help sign in
adjust test totality006 with --consolewidth for use with -f curses
694bdf6Andreas Reuleaux
test/totality006/expected+4−2
compare with master
unifiedsplit
@@ -1,3 +1,5 @@
1+totality006.idr:8:1:
1−totality006.idr:8:1:Main.prf is not total as there are missing cases
2+Main.prf is not total as there are missing cases
2totality006a.idr:11:6:prf' (S _) (S _) Oh is a valid case
3totality006a.idr:11:6:prf' (S _) (S _) Oh is a valid case
4+totality006b.idr:10:1:
3−totality006b.idr:10:1:totality006b.blargh is not total as there are missing cases
5+totality006b.blargh is not total as there are missing cases
test/totality006/run+3−3
@@ -1,5 +1,5 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ totality006.idr --check
2+idris --consolewidth 80 $@ totality006.idr --check
3−idris $@ totality006a.idr --check
3+idris --consolewidth 80 $@ totality006a.idr --check
4−idris $@ totality006b.idr --check
4+idris --consolewidth 80 $@ totality006b.idr --check
5rm -f *.ibc
5rm -f *.ibc