adjust test with --consolewidth for use with -f curses
commit9cfd0c20259c0ef74b1b8dda1d7de38578a61083
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 14:57 (12 years ago)
parentd0a9beb
test/reg027/expected+2−1
@@ -1,3 +1,4 @@
11<<int fn>>
226
3−reg027a.idr:9:10:Overlapping instance: Show (Int -> a) already defined
3+reg027a.idr:9:10:
4+Overlapping instance: Show (Int -> a) already defined
test/reg027/run+2−2
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−idris $@ reg027.idr -o reg027
2+idris --consolewidth 80 $@ reg027.idr -o reg027
33./reg027
4−idris $@ reg027a.idr --check
4+idris --consolewidth 80 $@ reg027a.idr --check
55rm -f reg027 *.ibc