Update test to avoid interactive-mode control chars
commit835981d84e89c4f3a66d74c3393f269cb8a29c31
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 4 Feb 2014, 13:50 (13 years ago)
parent3b9ce1c
test/ffi003/expected−1
@@ -1,3 +1,2 @@
11Type checking ./test024.idr
22testtest
3−[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>() : ()
test/ffi003/input−1
@@ -1,2 +1 @@
1−:x unsafePerformIO main
21test
test/ffi003/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris --quiet --nocolour test024.idr < input
2+idris --quiet --nocolour test024.idr --exec main < input
33rm -f *.ibc