attach orig-binding property (used for occurrence typing)

2017-04-20 22:44:12 -07:00 · 2017-04-20 22:44:12 -07:00 · d90dbbfd57
commit d90dbbfd57
parent 7acbcbb0cc
1 changed files with 2 additions and 1 deletions
--- a/macrotypes/typecheck.rkt
+++ b/macrotypes/typecheck.rkt
@ -948,7 +948,8 @@
                (let*-syntax ([X (make-variable-like-transformer
                                 (mk-tyvar (attach #'X ':: (#,kev #'#%type))))] ...
                              [x (make-variable-like-transformer
-                                  (attachs #'x '(sep ...) #'(τ ...)
+                                  (attachs (attach #'x 'orig-binding #'x)
+                                           '(sep ...) #'(τ ...)
                                           #:ev #,tev))] ...)
                  (#%expression e) ... void)))))
       (list #'tvs+ #'xs+