substitute in the dtype

This commit is contained in:
Sam Tobin-Hochstadt 2010-04-27 11:39:31 -04:00
parent 826eeab7cb
commit 35f090cde8

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)])