From b4592cf4352753efc96697f1ff2404d5ec2ffe8f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 8 Apr 2007 02:26:47 +0000 Subject: [PATCH] allof eof as the first argument to check-module-form svn: r5884 --- collects/syntax/doc.txt | 4 +++- collects/syntax/moddep.ss | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/syntax/doc.txt b/collects/syntax/doc.txt index 6f2b83b2ef..62a8a89268 100644 --- a/collects/syntax/doc.txt +++ b/collects/syntax/doc.txt @@ -302,7 +302,9 @@ currently exist). named `expected-module-sym' (plus a prefix, if `current-module-name-prefix' is set) --- at least if `module' is 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 `check-module-form' procedure returns a syntax object that certainly diff --git a/collects/syntax/moddep.ss b/collects/syntax/moddep.ss index 3c8b79af04..524775bb8d 100644 --- a/collects/syntax/moddep.ss +++ b/collects/syntax/moddep.ss @@ -411,7 +411,7 @@ (or/c simple-rel-to-module-path-v/c (-> simple-rel-to-module-path-v/c))) (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?] [(and/c path-string? relative-path?)