From da5994924907091a37d269f69db035d81dc7cb6a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 27 Apr 2010 11:39:31 -0400 Subject: [PATCH] substitute in the dtype original commit: 35f090cde86420b1618ac4a127a30c380fb22699 --- collects/typed-scheme/typecheck/tc-expr-unit.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss index 3dc18eb5..bf0f3c40 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.ss +++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss @@ -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)])