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

Merge pull request #160 from btlachance/colon-checksyntax-arrows

Browse Source 
Cancel marks for 'disappeared-use ids in colon macros
This commit is contained in:
Alex Knauth 2015-07-23 16:51:41 -04:00
commit f1da9c22c1
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-syntax (:-internal i ty) #:local)
(#%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 ...))