git.iko.soy/Idris-dev
on master help sign in
adjust test unique002 with --consolewidth for use with -f curses
d0310fdAndreas Reuleaux
test/unique002/run+2−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ unique002.idr --check
2+idris --consolewidth 80 $@ unique002.idr --check
3−idris $@ unique002a.idr --check
3+idris --consolewidth 80 $@ unique002a.idr --check
4rm -f *.ibc
4rm -f *.ibc