htdp language readers introduce explicit #%module-begin (for consistency with other #lang-based languages, as requested by JPR); merge to4.2.5

svn: r18605
This commit is contained in:
Matthew Flatt 2010-03-23 13:34:00 +00:00
parent 7c55242179
commit 0550cc3680

View File

@ -39,10 +39,11 @@
(datum->syntax-object
#f
`(module ,modname ,spec
,@(map (λ (x) `(require ,x))
(lookup 'teachpacks table))
,@(parameterize ([read-case-sensitive (lookup 'read-case-sensitive table)]
[read-decimal-as-inexact #f]
[read-accept-dot #f])
(get-all-exps source-name port))))))])
(#%module-begin
,@(map (λ (x) `(require ,x))
(lookup 'teachpacks table))
,@(parameterize ([read-case-sensitive (lookup 'read-case-sensitive table)]
[read-decimal-as-inexact #f]
[read-accept-dot #f])
(get-all-exps source-name port)))))))])
read-syntax)))