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

Support additional `provide'.

Browse Source 
original commit: fbc76a307455f55f1ee59d75272066b6d70a0019
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-21 15:16:38 -04:00
parent b835c36bdf
commit cbe820453f
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)
(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) ...)))