git.iko.soy/Idris-dev
on master help sign in
Remove reliance on interactive output from test ffi004
a27e6cbDavid Raymond Christiansen
idris.cabal−1
compare with master
unifiedsplit
@@ -281,7 +281,6 @@ Extra-source-files:
281 test/ffi003/input
281 test/ffi003/input
282 test/ffi004/run
282 test/ffi004/run
283 test/ffi004/*.idr
283 test/ffi004/*.idr
284− test/ffi004/input
285 test/ffi004/theType
284 test/ffi004/theType
286 test/ffi004/theOtherType
285 test/ffi004/theOtherType
287 test/ffi004/expected
286 test/ffi004/expected
test/ffi004/expected−3
@@ -1,3 +0,0 @@
1−Type checking ./test026.idr
2−[?1049h(B[?7h[?1049l [?1l>2 : Int
3−[?1049h(B[?7h[?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 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris --quiet --nocolour test026.idr < input
2+idris --quiet --nocolour --check test026.idr
3rm -f *.ibc
3rm -f *.ibc
test/ffi004/test026.idr+6
@@ -24,3 +24,9 @@ foo = 2
24bar : T2
24bar : T2
25bar = 2
25bar = 2
26
26
27+testFoo : Int
28+testFoo = foo
29+
30+testBar : Nat
31+testBar = bar
32+