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

Fix source location information for do:' and let:'.

Browse Source 
original commit: d544e9fbe72b205ca5b5c6efa4772067833d5b30
This commit is contained in:
Vincent St-Amour 2012-11-01 14:51:32 -04:00
parent 7917ff2033
commit 849c6aca05
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/typed-racket/base-env/prims.rkt
View File

@ -409,7 +409,13 @@ This file defines two sorts of primitives. All of them are provided into any mod
(define-syntax (let: stx)
(syntax-parse stx #:literals (:)
[(let: nm:id ~! : ret-ty (bs:annotated-binding ...) . body)
(syntax/loc stx ((letrec: ([nm : (bs.ty ... -> ret-ty) (lambda (bs.ann-name ...) . body)]) nm) bs.rhs ...))]
(quasisyntax/loc stx
(#,(quasisyntax/loc stx
(letrec: ([nm : (bs.ty ... -> ret-ty)
#,(quasisyntax/loc stx
(lambda (bs.ann-name ...) . #,(syntax/loc stx body)))])
#,(quasisyntax/loc stx nm)))
bs.rhs ...))]
[(let: . rest)
(syntax/loc stx (let-internal: . rest))]))
@ -659,11 +665,13 @@ This file defines two sorts of primitives. All of them are provided into any mod
((var:optionally-annotated-name rest ...) ...)
(stop?:expr ret ...)
c:expr ...)
(syntax/loc
(quasisyntax/loc
stx
(ann (do ((var.ann-name rest ...) ...)
(stop? ret ...)
c ...)
(ann #,(syntax/loc
stx
(do ((var.ann-name rest ...) ...)
(stop? ret ...)
c ...))
ty))]))
;; wrap the original for with a type annotation