edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-25 22:06:33 +03:00
Code Issues Projects Releases Wiki Activity

Fix racket codegen

Browse Source 
Need a require to get the system function
This commit is contained in:
Edwin Brady 2020-03-31 22:40:09 +01:00
parent e027e0c434
commit fb22e3de73
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Compiler/Scheme/Racket.idr
View File

@ -33,6 +33,7 @@ schHeader : String -> String
schHeader libs
= "#lang racket/base\n" ++
"(require racket/promise)\n" ++ -- for force/delay
"(require racket/system)\n" ++ -- for system
"(require rnrs/bytevectors-6)\n" ++ -- for buffers
"(require rnrs/io/ports-6)\n" ++ -- for file handling
"(require ffi/unsafe ffi/unsafe/define)\n" ++ -- for calling C