X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=821a1cc086112319b5d0662bca8f9c6146d8e852;hb=3092ace710af6d63ea57394eba91d4edc5b7cb91;hp=c7082cd757329d3e12687ae618790c276a2830d7;hpb=283705dacaf9012f7bd189e5b03b79c21a36ee5f;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index c7082cd..821a1cc 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -1601,7 +1601,7 @@ ppr_ty :: TidyEnv -> TcType -> TcType -> TcM (TidyEnv, SDoc, SDoc)
 ppr_ty env ty other_ty 
   = do	{ ty' <- zonkTcType ty
 	; let (env1, tidy_ty) = tidyOpenType env ty'
-	; (env2, extra) <- ppr_extra env1 ty' other_ty
+	; (env2, extra) <- ppr_extra env1 tidy_ty other_ty
 	; return (env2, quotes (ppr tidy_ty), extra) }
 
 -- (ppr_extra env ty other_ty) shows extra info about 'ty'