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

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

Browse Source 
original commit: eb7fc7a9655f26f35220295c24086da3699c3187
This commit is contained in:
Vincent St-Amour 2010-07-06 14:58:46 -04:00
parent 10d5e7851e
commit f578a22046
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typecheck/tc-expr-unit.rkt
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)))]