a5e76fc · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

adjust tests with --consolewidth for use with -f curses

a5e76fcAndreas Reuleaux12 years ago

test/reg028/expected+4−2

@@ -1,2 +1,4 @@

1+reg028.idr:5:1:

1−reg028.idr:5:1:tbad.bad is possibly not total due to: with block in tbad.bad

2+tbad.bad is possibly not total due to: with block in tbad.bad

3+reg028a.idr:11:1:

2−reg028a.idr:11:1:tbad.qsort' is possibly not total due to: with block in tbad.qsort'

4+tbad.qsort' is possibly not total due to: with block in tbad.qsort'

test/reg028/run+2−2

@@ -1,4 +1,4 @@

1#!/usr/bin/env bash

2−idris $@ reg028.idr --check

2+idris --consolewidth 80 $@ reg028.idr --check

3−idris $@ reg028a.idr --check

3+idris --consolewidth 80 $@ reg028a.idr --check

4rm -f *.ibc

test/reg034/run+1−1

@@ -1,3 +1,3 @@

1#!/usr/bin/env bash

2−idris --check reg034.idr

2+idris --consolewidth 80 --check reg034.idr

3rm -f reg034 *.ibc

test/reg035/run+3−3

@@ -1,5 +1,5 @@

1#!/usr/bin/env bash

2−idris --check reg035.idr

2+idris --consolewidth 80 --check reg035.idr

3−idris --check reg035a.lidr

3+idris --consolewidth 80 --check reg035a.lidr

4−idris --check reg035b.idr

4+idris --consolewidth 80 --check reg035b.idr

5rm -f *.ibc