--embedded, setup-plt refinements for .plt

original commit: 9ac24a035bdba22c6212dbfff88e8c2f5b843109
This commit is contained in:
Matthew Flatt 1998-03-10 13:59:40 +00:00
parent 5df833e306
commit bc40d08dc6

View File

@ -22,6 +22,10 @@
; from infor for collection compiling
; default = #t
compile-for-embedded ; #f => make objects to be linked
; directly with MzScheme, not dynamically
; loaded; default = #f
propagate-constants ; default = #t
assume-primitives ; #t => car = #%car; default = #f
stupid ; allow obvious non-syntactic errors;