suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Support additional `provide'.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-21 15:16:38 -04:00
parent 2f274b7892
commit fbc76a3074
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/base-env/type-env-lang.rkt
View File

@ -9,13 +9,14 @@
(define-syntax (#%module-begin stx) (define-syntax (#%module-begin stx)
(syntax-case stx (require) (syntax-case stx (require)
[(mb (require . args) [nm ty] ...) [(mb (require . args) (provide . args2) [nm ty] ...)
(begin (begin
(unless (andmap identifier? (syntax->list #'(nm ...))) (unless (andmap identifier? (syntax->list #'(nm ...)))
(raise-syntax-error #f "not all ids")) (raise-syntax-error #f "not all ids"))
#'(#%plain-module-begin #'(#%plain-module-begin
(begin (begin
(require . args) (require . args)
(provide . args2)
(define-syntax nm (lambda (stx) (raise-syntax-error 'type-check "type name used out of context" stx))) ... (define-syntax nm (lambda (stx) (raise-syntax-error 'type-check "type name used out of context" stx))) ...
(provide nm) ... (provide nm) ...
;(define-syntax provider (lambda (stx) #'(begin (provide nm) ...))) ;(define-syntax provider (lambda (stx) #'(begin (provide nm) ...)))