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

add missing syntax/loc

Browse Source
This commit is contained in:
AlexKnauth 2017-04-03 15:15:19 -07:00
parent 713eec89ea
commit 33db7ad092
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macrotypes/typecheck.rkt
View File

@ -559,7 +559,7 @@
;; to ensure enough stx-parse progress for proper err msg,
;; ie, "invalid type" instead of "improper tycon usage"
#:with (~! (~var _ type) (... (... ...))) #'(arg- (... (... ...)))
(add-orig (mk-type #'(τ- arg- (... (... ...)))) stx)]
(add-orig (mk-type (syntax/loc stx (τ- arg- (... (... ...))))) stx)]
[_ ;; else fail with err msg
(type-error #:src stx
#:msg