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.
commit3b9ce1cad716a647e21cfee5da9f86e3d0c2b48e
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 4 Feb 2014, 13:26 (13 years ago)
parent58f481c
test/ffi001/expected+1−1
@@ -1,2 +1,2 @@
11Type checking ./test022.idr
2−[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>0.9995736030415051 : Float
2+0.9995736030415051
test/ffi001/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−echo ":x x" | idris --quiet --nocolour test022.idr
2+idris --quiet --nocolour test022.idr --exec main
33rm -f test021 test021a *.ibc
test/ffi001/test022.idr+3
@@ -4,3 +4,6 @@ module Main
44
55x : Float
66x = unsafePerformIO (mkForeign (FFun "sin" [FFloat] FFloat) 1.6)
7+
8+main : IO ()
9+main = putStrLn (show x)