attach orig-binding property (used for occurrence typing)

2017-04-28 00:03:59 -07:00
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+