From cbe820453f9390ad05a69f34b32d20dcdcbf865b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 21 Jun 2011 15:16:38 -0400 Subject: [PATCH] Support additional `provide'. original commit: fbc76a307455f55f1ee59d75272066b6d70a0019 --- collects/typed-scheme/base-env/type-env-lang.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/type-env-lang.rkt b/collects/typed-scheme/base-env/type-env-lang.rkt index b49cf760..906beb4a 100644 --- a/collects/typed-scheme/base-env/type-env-lang.rkt +++ b/collects/typed-scheme/base-env/type-env-lang.rkt @@ -9,13 +9,14 @@ (define-syntax (#%module-begin stx) (syntax-case stx (require) - [(mb (require . args) [nm ty] ...) + [(mb (require . args) (provide . args2) [nm ty] ...) (begin (unless (andmap identifier? (syntax->list #'(nm ...))) (raise-syntax-error #f "not all ids")) #'(#%plain-module-begin (begin (require . args) + (provide . args2) (define-syntax nm (lambda (stx) (raise-syntax-error 'type-check "type name used out of context" stx))) ... (provide nm) ... ;(define-syntax provider (lambda (stx) #'(begin (provide nm) ...)))