diff --git a/test/ffi003/expected b/test/ffi003/expected index 8acb5ff3a1..de39718f95 100644 --- a/test/ffi003/expected +++ b/test/ffi003/expected @@ -1,3 +1,2 @@ Type checking ./test024.idr testtest -[?1049h(B[?7h[?1049l [?1l>() : () diff --git a/test/ffi003/input b/test/ffi003/input index d729054f51..9daeafb986 100644 --- a/test/ffi003/input +++ b/test/ffi003/input @@ -1,2 +1 @@ -:x unsafePerformIO main test diff --git a/test/ffi003/run b/test/ffi003/run index c6988b3988..f6300e12fd 100755 --- a/test/ffi003/run +++ b/test/ffi003/run @@ -1,3 +1,3 @@ #!/usr/bin/env bash -idris --quiet --nocolour test024.idr < input +idris --quiet --nocolour test024.idr --exec main < input rm -f *.ibc