fix Core.Execute and test
commitf66e8a961e89d9ed9505600819ffac82dda6051d
authorAlex Gryzlov <skyrodent@gmail.com>
dateWed 10 Jul 2019, 15:59 (7 years ago)
parent233a07e
src/Idris/Core/Execute.hs+1−1
@@ -394,7 +394,7 @@ execForeign env ctxt arity ty fn xs onfail
394394 execApp env ctxt ioUnit (drop arity xs)
395395 _ -> execFail . Msg $
396396 "The argument to fileRemove should be a constant string, but it was " ++
397− show handle ++
397+ show fileStr ++
398398 ". Are all cases covered?"
399399 | Just (FFun "fileClose" [(_,handle)] _) <- foreignFromTT arity ty fn xs
400400 = case handle of
test/TestData.hs+1
@@ -141,6 +141,7 @@ testFamiliesData = [
141141 , ( 10, NODE_CG )
142142 , ( 11, NODE_CG )
143143 , ( 12, NODE_CG )
144+ , ( 13, C_CG )
144145 ]),
145146 ("folding", "Folding",
146147 [ ( 1, ANY )]),
test/ffi013/expected+1−1
@@ -1 +1 @@
1−success
1+success
test/ffi013/run+2
@@ -2,4 +2,6 @@
22echo "test" > remove.me
33${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013
44./ffi013
5+echo "test2" > remove.me
6+${IDRIS:-idris} $@ --quiet --port none --nocolour ffi013.idr --exec main
57rm -f ffi013 remove.me *.ibc