git.iko.soy/Idris-dev
on master help sign in
adjust tests with --consolewidth for use with -f curses
73da7d4Andreas Reuleaux
test/quasiquote004/expected+2−1
compare with master
unifiedsplit
@@ -1,2 +1,3 @@
1+Quasiquote004.idr:50:25:
1−Quasiquote004.idr:50:25:When elaborating right hand side of Quasiquote004.getMeNat':
2+When elaborating right hand side of Quasiquote004.getMeNat':
2Not a Nat goal
3Not a Nat goal
test/quasiquote004/run+1−1
@@ -1,3 +1,3 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ --check --nocolour Quasiquote004.idr
2+idris --consolewidth 80 $@ --check --nocolour Quasiquote004.idr
3rm -f *.ibc
3rm -f *.ibc
test/reg003/run+2−2
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris --check reg003.idr
2+idris --consolewidth 80 --check reg003.idr
3−idris --check reg003a.idr
3+idris --consolewidth 80 --check reg003a.idr
4rm -f *.ibc
4rm -f *.ibc
test/reg006/expected+2−1
@@ -1 +1,2 @@
1+reg006.idr:17:1:
1−reg006.idr:17:1:RBTree.lookup is possibly not total due to: RBTree.case block in lookup
2+RBTree.lookup is possibly not total due to: RBTree.case block in lookup
test/reg006/run+1−1
@@ -1,3 +1,3 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ reg006.idr --check
2+idris --consolewidth 80 $@ reg006.idr --check
3rm -f *.ibc
3rm -f *.ibc