Have type ascriptions record the ascribed type in the type table.

This commit is contained in:
Vincent St-Amour 2010-07-06 14:58:46 -04:00
parent 519d1ef8d1
commit eb7fc7a965

View File

@ -183,7 +183,7 @@
(let* ([r (tc-expr/check/internal form* ann)]
[r* (check-below r expected)])
;; add this to the *original* form, since the newer forms aren't really in the program
(add-typeof-expr form expected)
(add-typeof-expr form ann)
;; around again in case there is an instantiation
;; remove the ascription so we don't loop infinitely
(loop (remove-ascription form*) r* #t)))]