idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-15 22:32:19 +03:00
Code Issues Projects Releases Wiki Activity

Need --script for incrementally compiled apps

Browse Source 
Otherwise it doesn't load the compiled modules and can't find the
compiled definitions!
This commit is contained in:
Edwin Brady 2021-07-10 23:55:45 +01:00
parent 3e92863e1c
commit 886962aa43
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Compiler/Scheme/Chez.idr
View File

@ -85,7 +85,9 @@ findLibs ds
schHeader : String -> List String -> Bool -> String
schHeader chez libs whole
= (if os /= "windows" then "#!" ++ chez ++ " --program\n\n" else "") ++
= (if os /= "windows"
then "#!" ++ chez ++ (if whole then " --program\n\n" else " --script\n\n")
else "") ++
"; " ++ (generatedString "Chez") ++ "\n" ++
"(import (chezscheme))\n" ++
"(case (machine-type)\n" ++