X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=e2405a8644f264af58bff8abbb92216d15191be7;hp=cf38146eb10d59b2c7b16691d72fdd35dba5fab0;hb=35fb5c6ff0861be5ab72df799df536982d3966b8;hpb=de29097709338f70a0356959dea4c5643f0a6fc7

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index cf38146..e2405a8 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -739,8 +739,8 @@ applyTysD doc orig_fun_ty arg_tys
 		(mkForAllTys (drop n_args tvs) rho_ty)
   | otherwise		-- Too many type args
   = ASSERT2( n_tvs > 0, doc $$ ppr orig_fun_ty )	-- Zero case gives infnite loop!
-    applyTys (substTyWith tvs (take n_tvs arg_tys) rho_ty)
-	     (drop n_tvs arg_tys)
+    applyTysD doc (substTyWith tvs (take n_tvs arg_tys) rho_ty)
+	          (drop n_tvs arg_tys)
   where
     (tvs, rho_ty) = splitForAllTys orig_fun_ty 
     n_tvs = length tvs