fix grammar for fully expanded submodules

This commit is contained in:
Matthew Flatt 2012-09-19 06:02:44 -06:00
parent 07e5526d6a
commit e68db772b2

View File

@ -202,11 +202,14 @@ the binding (according to @racket[free-identifier=?]) matters.}
(#%provide raw-provide-spec ...) (#%provide raw-provide-spec ...)
(begin-for-syntax module-level-form ...) (begin-for-syntax module-level-form ...)
(module id module-path (module id module-path
module-level-form ...) (#%plain-module-begin
module-level-form ...))
(module* id module-path (module* id module-path
module-level-form ...) (#%plain-module-begin
module-level-form ...))
(module* id #f (module* id #f
module-level-form ...)] (#%plain-module-begin
module-level-form ...))]
[general-top-level-form expr [general-top-level-form expr
(define-values (id ...) expr) (define-values (id ...) expr)
(define-syntaxes (id ...) expr) (define-syntaxes (id ...) expr)