adjust test tutorial006 with --consolewidth for use with -f curses
commit5d4d7931862403490b27640c008aef681af95284
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:51 (12 years ago)
parent2a7d6a9
test/tutorial006/expected+2−1
@@ -10,7 +10,8 @@ When elaborating argument [95mxs[0m to constructor [91mData.VectType.Vect.::
1010 [92mplus[0m [95mn[0m [95mn[0m
1111 with
1212 [92mplus[0m [95mn[0m [95mm[0m
13−tutorial006b.idr:10:10:When elaborating right hand side of with block in Main.parity:
13+tutorial006b.idr:10:10:
14+When elaborating right hand side of with block in Main.parity:
1415Can't unify
1516 [94mParity[0m ([92mplus[0m ([91mS[0m [95mj[0m) ([91mS[0m [95mj[0m)) (Type of [91meven[0m)
1617with
test/tutorial006/run+2−2
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris $@ tutorial006a.idr --check
3−idris $@ tutorial006b.idr --check
2+idris --consolewidth 80 $@ tutorial006a.idr --check
3+idris --consolewidth 80 $@ tutorial006b.idr --check
44rm -f *.ibc