on master help sign in
Add test for REPL reporting abnormal :exec results

Check if REPL produces an error message if program compiled as a result of performing ':exec' terminate abnormally.

commit1d19304dec7b13a3194bf48b696d514c6caa043d authorIlya Yanok <ilya.yanok@gmail.com> dateTue 6 Feb 2018, 15:53 (9 years ago) parent395e8a0
6 files changed+11−1
test/TestData.hs+2−1 test/interpret003/expected+1 test/interpret003/input+1 test/interpret003/interpret003.idr+4 test/interpret003/run+3 test/interpret003/test
test/TestData.hs+2−1
@@ -183,7 +183,8 @@ testFamiliesData = [
183183 ( 8, ANY )]),
184184 ("interpret", "Interpret",
185185 [ ( 1, ANY ),
186− ( 2, ANY )]),
186+ ( 2, ANY ),
187+ ( 3, C_CG )]),
187188 ("io", "IO monad",
188189 [ ( 1, C_CG ),
189190 ( 2, ANY ),
test/interpret003/expectednew file+1
@@ -0,0 +1 @@
1+Compiled program terminated with exit code 1
test/interpret003/inputnew file+1
@@ -0,0 +1 @@
1+:exec
test/interpret003/interpret003.idrnew file+4
@@ -0,0 +1,4 @@
1+import System
2+
3+main : IO ()
4+main = exitFailure
test/interpret003/runnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ --quiet --port none --nocolour interpret003.idr < input
3+rm -f *.ibc
test/interpret003/testnew file

Binary file not shown.