@@ -24,6 +24,10 @@ data File : Type where
24-- Usage hints for erasure analysis
24-- Usage hints for erasure analysis
25%used FHandle p
25%used FHandle p
27+||| Pointer to a C FILE structure (for passing to C routines)
27||| An error from a file operation
31||| An error from a file operation
28-- This is built in idris_mkFileError() in rts/idris_stdfgn.c. Make sure
32-- This is built in idris_mkFileError() in rts/idris_stdfgn.c. Make sure
29-- the values correspond!
33-- the values correspond!