git.iko.soy/Idris-dev
on master help sign in
adjust test totality003 with --consolewidth for use with -f curses
c193a40Andreas Reuleaux
test/totality003/expected+2−1
compare with master
unifiedsplit
@@ -1 +1,2 @@
1+totality003a.idr:5:1:
1−totality003a.idr:5:1:smaller.qsort is possibly not total due to recursive path smaller.qsort --> smaller.qsort --> smaller.qsort
2+smaller.qsort is possibly not total due to recursive path smaller.qsort --> smaller.qsort --> smaller.qsort
test/totality003/run+2−2
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ totality003.idr --check
2+idris --consolewidth 80 $@ totality003.idr --check
3−idris $@ totality003a.idr --check
3+idris --consolewidth 80 $@ totality003a.idr --check
4rm -f *.ibc
4rm -f *.ibc