edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-27 18:53:42 +03:00
Code Issues Projects Releases Wiki Activity

Increase the inlining limit for Gambit

Browse Source
This commit is contained in:
Abdelhakim Qbaich 2020-05-04 22:21:42 -04:00
parent 1fb84ca255
commit 0541a8c74e
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/Gambit.idr
View File

@ -34,6 +34,7 @@ findGSC =
schHeader : String
schHeader = "(declare (block)
(inlining-limit 450)
(standard-bindings)
(extended-bindings)
(not safe)