f66e8a9 · Idris-dev · git.iko.soy

src/Idris/Core/Execute.hs+1−1

@@ -394,7 +394,7 @@ execForeign env ctxt arity ty fn xs onfail

394 execApp env ctxt ioUnit (drop arity xs)

395 _ -> execFail . Msg $

396 "The argument to fileRemove should be a constant string, but it was " ++

397− show handle ++

397+ show fileStr ++

398 ". Are all cases covered?"

399 | Just (FFun "fileClose" [(_,handle)] _) <- foreignFromTT arity ty fn xs

400 = case handle of

test/TestData.hs+1

@@ -141,6 +141,7 @@ testFamiliesData = [

141 , ( 10, NODE_CG )

142 , ( 11, NODE_CG )

143 , ( 12, NODE_CG )

144+ , ( 13, C_CG )

144 ]),

145 ]),

145 ("folding", "Folding",

146 ("folding", "Folding",

146 [ ( 1, ANY )]),

147 [ ( 1, ANY )]),

test/ffi013/expected+1−1

@@ -1 +1 @@

1−success

1+success

test/ffi013/run+2

@@ -2,4 +2,6 @@

2echo "test" > remove.me

3${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013

4./ffi013

5+echo "test2" > remove.me

6+${IDRIS:-idris} $@ --quiet --port none --nocolour ffi013.idr --exec main

5rm -f ffi013 remove.me *.ibc

7rm -f ffi013 remove.me *.ibc