From 3b9ce1cad716a647e21cfee5da9f86e3d0c2b48e Mon Sep 17 00:00:00 2001 From: David Raymond Christiansen Date: Tue, 4 Feb 2014 13:26:53 +0100 Subject: [PATCH] Avoid pollution of test case with ANSI codes Apparently, Curses was outputting system-specific terminal codes which caused test cases to fail some places. This test update makes it stop by not running the interactive REPL. --- test/ffi001/expected | 2 +- test/ffi001/run | 2 +- test/ffi001/test022.idr | 3 +++ 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/test/ffi001/expected b/test/ffi001/expected index 1913a3bff..8f08a6b1c 100644 --- a/test/ffi001/expected +++ b/test/ffi001/expected @@ -1,2 +1,2 @@ Type checking ./test022.idr -[?1049h(B[?7h[?1049l [?1l>0.9995736030415051 : Float +0.9995736030415051 diff --git a/test/ffi001/run b/test/ffi001/run index cd4902509..05fc50568 100755 --- a/test/ffi001/run +++ b/test/ffi001/run @@ -1,3 +1,3 @@ #!/usr/bin/env bash -echo ":x x" | idris --quiet --nocolour test022.idr +idris --quiet --nocolour test022.idr --exec main rm -f test021 test021a *.ibc diff --git a/test/ffi001/test022.idr b/test/ffi001/test022.idr index cc0d2f98c..b7941cd1b 100644 --- a/test/ffi001/test022.idr +++ b/test/ffi001/test022.idr @@ -4,3 +4,6 @@ module Main x : Float x = unsafePerformIO (mkForeign (FFun "sin" [FFloat] FFloat) 1.6) + +main : IO () +main = putStrLn (show x)