mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 09:54:23 +03:00
fix Core.Execute and test
This commit is contained in:
parent
233a07e76f
commit
f66e8a961e
@ -394,7 +394,7 @@ execForeign env ctxt arity ty fn xs onfail
|
||||
execApp env ctxt ioUnit (drop arity xs)
|
||||
_ -> execFail . Msg $
|
||||
"The argument to fileRemove should be a constant string, but it was " ++
|
||||
show handle ++
|
||||
show fileStr ++
|
||||
". Are all cases covered?"
|
||||
| Just (FFun "fileClose" [(_,handle)] _) <- foreignFromTT arity ty fn xs
|
||||
= case handle of
|
||||
|
@ -141,6 +141,7 @@ testFamiliesData = [
|
||||
, ( 10, NODE_CG )
|
||||
, ( 11, NODE_CG )
|
||||
, ( 12, NODE_CG )
|
||||
, ( 13, C_CG )
|
||||
]),
|
||||
("folding", "Folding",
|
||||
[ ( 1, ANY )]),
|
||||
|
@ -1 +1 @@
|
||||
success
|
||||
success
|
||||
|
@ -2,4 +2,6 @@
|
||||
echo "test" > remove.me
|
||||
${IDRIS:-idris} $@ --quiet --port none ffi013.idr -o ffi013
|
||||
./ffi013
|
||||
echo "test2" > remove.me
|
||||
${IDRIS:-idris} $@ --quiet --port none --nocolour ffi013.idr --exec main
|
||||
rm -f ffi013 remove.me *.ibc
|
||||
|
Loading…
Reference in New Issue
Block a user