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

use make-variable-like-transformer

Browse Source
This commit is contained in:
AlexKnauth 2015-09-21 18:09:58 -04:00
parent 82b7ec004d
commit 149897653a
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tapl/stlc+lit.rkt
View File

@ -29,13 +29,8 @@
#;(define-syntax op/tc (make-rename-transformer (assign-type #'op #'τ)))
; rename transformer doesnt seem to expand at the right time
; - op still has no type in #%app
(define-syntax (op/tc stx)
(syntax-parse stx
[f:id (⊢ #,(syntax/loc stx op) : τ)] ; HO case
[(o . rst)
#:with app (datum->syntax #'o '#%app)
#:with opp (format-id #'o "~a" #'op)
(syntax/loc stx (app opp . rst))])))]))
(define-syntax op/tc
(make-variable-like-transformer (assign-type #'op #'τ))))]))
(define-primop + : (→ Int Int Int))