allof eof as the first argument to check-module-form

svn: r5884
This commit is contained in:
Matthew Flatt 2007-04-08 02:26:47 +00:00
parent 960250310b
commit b4592cf435
2 changed files with 4 additions and 2 deletions

View File

@ -302,7 +302,9 @@ currently exist).
named `expected-module-sym' (plus a prefix, if named `expected-module-sym' (plus a prefix, if
`current-module-name-prefix' is set) --- at least if `module' is `current-module-name-prefix' is set) --- at least if `module' is
bound in the top-level to MzScheme's `module'. The syntax object bound in the top-level to MzScheme's `module'. The syntax object
`stx' can contain a compiled expression. `stx' can contain a compiled expression. Also, `stx' can be an
end-of-file, on the grounds that `read-syntax' can produce an
end-of-file.
If `stx' can declare a module in an appropriate top-level, then the If `stx' can declare a module in an appropriate top-level, then the
`check-module-form' procedure returns a syntax object that certainly `check-module-form' procedure returns a syntax object that certainly

View File

@ -411,7 +411,7 @@
(or/c simple-rel-to-module-path-v/c (-> simple-rel-to-module-path-v/c))) (or/c simple-rel-to-module-path-v/c (-> simple-rel-to-module-path-v/c)))
(provide/contract (provide/contract
[check-module-form (syntax? symbol? (or/c string? path? false/c) . -> . any)] [check-module-form ((or/c syntax? eof-object?) symbol? (or/c string? path? false/c) . -> . any)]
[get-module-code ([path-string?] [get-module-code ([path-string?]
[(and/c path-string? relative-path?) [(and/c path-string? relative-path?)