We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9be5c6f commit 5f6b550Copy full SHA for 5f6b550
hackett-lib/hackett/private/type-language.rkt
@@ -124,9 +124,10 @@
124
#:with x- (local-expand #'x 'expression '())
125
#:attr expansion #'x-
126
#:attr scoped-binding-ctxs '()
127
- #:attr residual (syntax-property #'(values)
128
- 'disappeared-use
129
- (syntax-local-introduce #'x-))]
+ #:attr residual (~> #'(values)
+ (syntax-property 'disappeared-use
+ (syntax-local-introduce #'x-))
130
+ (syntax-track-origin #'expansion #'x))]
131
[pattern (head:#%expression ~! {~var a (type intdef-ctx)})
132
#:attr expansion (syntax-track-origin #'a.expansion this-syntax #'head)
133
0 commit comments