adjust HtDP language module-begin to work right if 'provide' shows up

svn: r12157
This commit is contained in:
Matthew Flatt 2008-10-28 13:27:22 +00:00
parent 981a491c45
commit 8cf2306979

View File

@ -252,9 +252,11 @@
(let ([e2 (local-expand #'e2 'module local-expand-stop-list)])
;; Lift out certain forms to make them visible to the module
;; expander:
(syntax-case e2 (#%require define-syntaxes define-values-for-syntax define-values begin)
(syntax-case e2 (#%require #%provide define-syntaxes define-values-for-syntax define-values begin)
[(#%require . __)
#`(begin #,e2 (frm e3s #,e1s #,def-ids))]
[(#%provide . __)
#`(begin #,e2 (frm e3s #,e1s #,def-ids))]
[(define-syntaxes (id ...) . _)
#`(begin #,e2 (frm e3s #,e1s (id ... . #,def-ids)))]
[(define-values-for-syntax . _)