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

Cancel marks for 'disappeared-use ids in colon macros

Browse Source 
Fixes check-syntax arrows for the id and optional second :
This commit is contained in:
Brian Lachance 2015-07-23 14:51:33 -04:00
parent aec5fad4be
commit 045bf05381
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typed-racket-lib/typed-racket/base-env/colon.rkt
View File

@ -30,7 +30,7 @@
#:when (eq? 'expression ctx)
(err stx "must be used in a definition context")]
[(: id (~and kw :) . more:omit-parens)
(add-disappeared-use #'kw)
(add-disappeared-use (syntax-local-introduce #'kw))
(wrap stx #`(:-helper #,stx #,top-level? id more.type))]
[(: e ...)
(wrap stx #`(:-helper #,stx #,top-level? e ...))]))
@ -47,7 +47,7 @@
(syntax-e #'i)))
(syntax-property (syntax/loc stx (begin (quote (:-internal i ty))
(#%plain-app values)))
'disappeared-use #'i)]
'disappeared-use (syntax-local-introduce #'i))]
[(_ orig-stx _ i x ...)
#:fail-unless (identifier? #'i) (err #'orig-stx "expected identifier" #'i)
(case (syntax-length #'(x ...))