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

Handle for-meta in TR requires.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2015-07-28 14:43:08 -07:00
parent fc59d375a0
commit a0b7123d4c
1 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
View File

@ -376,16 +376,22 @@
(syntax-parse p #:literal-sets (kernel-literals)
[(#%provide form ...)
(for/fold ([h h]) ([f (in-syntax #'(form ...))])
(syntax-parse f
[i:id
(dict-update h #'i (lambda (tail) (cons #'i tail)) '())]
[((~datum rename) in out)
(dict-update h #'in (lambda (tail) (cons #'out tail)) '())]
[(name:unknown-provide-form . _)
(parameterize ([current-orig-stx f])
(tc-error "provide: ~a not supported by Typed Racket" (syntax-e #'name.name)))]
[_ (parameterize ([current-orig-stx f])
(int-err "unknown provide form"))]))]
(let loop ([f f])
(syntax-parse f
[i:id
(dict-update h #'i (lambda (tail) (cons #'i tail)) '())]
[((~datum rename) in out)
(dict-update h #'in (lambda (tail) (cons #'out tail)) '())]
[((~datum for-meta) 0 fm)
(loop #'fm)]
;; is this safe?
[((~datum for-meta) _ fm)
h]
[(name:unknown-provide-form . _)
(parameterize ([current-orig-stx f])
(tc-error "provide: ~a not supported by Typed Racket" (syntax-e #'name.name)))]
[_ (parameterize ([current-orig-stx f])
(int-err "unknown provide form"))])))]
[_ (int-err "non-provide form! ~a" (syntax->datum p))])))
;; compute the new provides
(define-values (new-stx/pre new-stx/post)