1d19304 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add test for REPL reporting abnormal :exec results

1d19304Ilya Yanok9 years ago

test/TestData.hs+2−1

@@ -183,7 +183,8 @@ testFamiliesData = [

183 ( 8, ANY )]),

184 ("interpret", "Interpret",

185 [ ( 1, ANY ),

186− ( 2, ANY )]),

186+ ( 2, ANY ),

187+ ( 3, C_CG )]),

187 ("io", "IO monad",

188 ("io", "IO monad",

188 [ ( 1, C_CG ),

189 [ ( 1, C_CG ),

189 ( 2, ANY ),

190 ( 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

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.