syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

typed: add some quasisyntax/loc

This commit is contained in:
Sam Caldwell 2022-03-07 12:33:15 -05:00
parent 9952ff9400
commit b4497f1623
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
racket/typed/syndicate/core-types.rkt
View File

@ -66,14 +66,18 @@
#:with τ-in- (attach (loop #'τ-in) KIND-TAG var-ty)
#:with X- (attach #'X KIND-TAG var-ty)
#:with τ-out- (loop #'τ-out)
(define reconstructed #`(#%plain-app tycons τ-in- (#%plain-lambda (X-) τ-out-)))
(define reconstructed
(quasisyntax/loc t
(#%plain-app tycons τ-in- (#%plain-lambda (X-) τ-out-))))
(attach (add-orig reconstructed t) KIND-TAG TYPE)]
[(#%plain-app tycons (~or* (~seq ty ... (#%plain-app (~and lst list) . more-tys))
(~seq ty ...)) )
#:with more-tys- (if (attribute more-tys) (stx-map loop #'more-tys) #'())
(define reconstructed #`(#%plain-app tycons
#,@(stx-map loop #'(ty ...))
(~? (#%plain-app lst . more-tys-))))
(define reconstructed
(quasisyntax/loc t
(#%plain-app tycons
#,@(stx-map loop #'(ty ...))
(~? (#%plain-app lst . more-tys-)))))
(attach (add-orig reconstructed t) KIND-TAG TYPE)])))
(define-for-syntax serialize-syntax lazy-serialize)
(define-for-syntax deserialize-syntax lazy-deserialize)