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

substitute in the dtype

Browse Source 
original commit: 35f090cde86420b1618ac4a127a30c380fb22699
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-27 11:39:31 -04:00
parent 95dfc50d12
commit da59949249
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.ss
View File

@ -173,7 +173,7 @@
[(tc-results: ts fs os)
(ret (subber subst-type ts) (subber subst-filter-set fs) (subber subst-object os))]
[(tc-results: ts fs os dt db)
(ret (subber subst-type ts) (subber subst-filter-set fs) (subber subst-object os) dt db)]
(ret (subber subst-type ts) (subber subst-filter-set fs) (subber subst-object os) (sub-one subst-type dt) db)]
[t (sub-one subst-type t)])
r))
(let ([tr1 (maybe-abstract tr1)])