From e68db772b25c6b01ee103496050b78ae29f6fba1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 19 Sep 2012 06:02:44 -0600 Subject: [PATCH] fix grammar for fully expanded submodules --- collects/scribblings/reference/syntax-model.scrbl | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/reference/syntax-model.scrbl b/collects/scribblings/reference/syntax-model.scrbl index b91473fee9..8e5d9eaa0d 100644 --- a/collects/scribblings/reference/syntax-model.scrbl +++ b/collects/scribblings/reference/syntax-model.scrbl @@ -201,12 +201,15 @@ the binding (according to @racket[free-identifier=?]) matters.} [module-level-form general-top-level-form (#%provide raw-provide-spec ...) (begin-for-syntax module-level-form ...) - (module id module-path - module-level-form ...) + (module id module-path + (#%plain-module-begin + module-level-form ...)) (module* id module-path - module-level-form ...) + (#%plain-module-begin + module-level-form ...)) (module* id #f - module-level-form ...)] + (#%plain-module-begin + module-level-form ...))] [general-top-level-form expr (define-values (id ...) expr) (define-syntaxes (id ...) expr)