svn: r7770
This commit is contained in:
Matthew Flatt 2007-11-19 22:17:22 +00:00
parent c04cf36c29
commit e11974a6c7

View File

@ -750,7 +750,7 @@ constrained: the @litchar{#lang} must be followed by a single space
terminated by @schemelink[char-whitespace?]{whitespace} or an terminated by @schemelink[char-whitespace?]{whitespace} or an
end-of-file. The sequence must not start or end with @litchar{/}. A end-of-file. The sequence must not start or end with @litchar{/}. A
sequence @litchar{#lang }@nonterm{name} is equivalent to sequence @litchar{#lang }@nonterm{name} is equivalent to
@litchar{#reader }@nonterm{name}@litchar{/lang/reader)}. @litchar{#reader }@nonterm{name}@litchar{/lang/reader}.
By convention, @litchar{#lang} normally appears at the beginning of a By convention, @litchar{#lang} normally appears at the beginning of a
file, possibly after comment forms, to specify the syntax of a module. file, possibly after comment forms, to specify the syntax of a module.