mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 22:17:19 +03:00
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.
This commit is contained in:
parent
58f481ce65
commit
3b9ce1cad7
@ -1,2 +1,2 @@
|
||||
Type checking ./test022.idr
|
||||
[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>0.9995736030415051 : Float
|
||||
0.9995736030415051
|
||||
|
@ -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
|
||||
|
@ -4,3 +4,6 @@ module Main
|
||||
|
||||
x : Float
|
||||
x = unsafePerformIO (mkForeign (FFun "sin" [FFloat] FFloat) 1.6)
|
||||
|
||||
main : IO ()
|
||||
main = putStrLn (show x)
|
||||
|
Loading…
Reference in New Issue
Block a user