From eb7fc7a9655f26f35220295c24086da3699c3187 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 6 Jul 2010 14:58:46 -0400 Subject: [PATCH] Have type ascriptions record the ascribed type in the type table. --- collects/typed-scheme/typecheck/tc-expr-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt index 9ad38d8348..b5a2b2bcf7 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -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)))]