Remove reliance on interactive output from test ffi004
commita27e6cba4f6b7d1a1b8ad9ef9834b240d307bcd9
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 4 Feb 2014, 14:21 (13 years ago)
parent835981d
idris.cabal−1
@@ -281,7 +281,6 @@ Extra-source-files:
281281 test/ffi003/input
282282 test/ffi004/run
283283 test/ffi004/*.idr
284− test/ffi004/input
285284 test/ffi004/theType
286285 test/ffi004/theOtherType
287286 test/ffi004/expected
test/ffi004/expected−3
@@ -1,3 +0,0 @@
1−Type checking ./test026.idr
2−[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>2 : Int
3−[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>2 : Nat
test/ffi004/inputdeleted−2
@@ -1,2 +0,0 @@
1−foo
2−bar
test/ffi004/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris --quiet --nocolour test026.idr < input
2+idris --quiet --nocolour --check test026.idr
33rm -f *.ibc
test/ffi004/test026.idr+6
@@ -24,3 +24,9 @@ foo = 2
2424bar : T2
2525bar = 2
2626
27+testFoo : Int
28+testFoo = foo
29+
30+testBar : Nat
31+testBar = bar
32+