adjust tests with --consolewidth for use with -f curses
commita5e76fc00a5878911b6cfbfc7762cb56294781fa
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 15:36 (12 years ago)
parent9cfd0c2
test/reg028/expected+4−2
@@ -1,2 +1,4 @@
1−reg028.idr:5:1:tbad.bad is possibly not total due to: with block in tbad.bad
2−reg028a.idr:11:1:tbad.qsort' is possibly not total due to: with block in tbad.qsort'
1+reg028.idr:5:1:
2+tbad.bad is possibly not total due to: with block in tbad.bad
3+reg028a.idr:11:1:
4+tbad.qsort' is possibly not total due to: with block in tbad.qsort'
test/reg028/run+2−2
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris $@ reg028.idr --check
3−idris $@ reg028a.idr --check
2+idris --consolewidth 80 $@ reg028.idr --check
3+idris --consolewidth 80 $@ reg028a.idr --check
44rm -f *.ibc
test/reg034/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris --check reg034.idr
2+idris --consolewidth 80 --check reg034.idr
33rm -f reg034 *.ibc
test/reg035/run+3−3
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−idris --check reg035.idr
3−idris --check reg035a.lidr
4−idris --check reg035b.idr
2+idris --consolewidth 80 --check reg035.idr
3+idris --consolewidth 80 --check reg035a.lidr
4+idris --consolewidth 80 --check reg035b.idr
55rm -f *.ibc