git.iko.soy/Idris-dev
on master help sign in
adjust test with --consolewidth for use with -f curses
9cfd0c2Andreas Reuleaux
test/reg027/expected+2−1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1<<int fn>>
1<<int fn>>
26
26
3+reg027a.idr:9:10:
3−reg027a.idr:9:10:Overlapping instance: Show (Int -> a) already defined
4+Overlapping instance: Show (Int -> a) already defined
test/reg027/run+2−2
@@ -1,5 +1,5 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ reg027.idr -o reg027
2+idris --consolewidth 80 $@ reg027.idr -o reg027
3./reg027
3./reg027
4−idris $@ reg027a.idr --check
4+idris --consolewidth 80 $@ reg027a.idr --check
5rm -f reg027 *.ibc
5rm -f reg027 *.ibc