X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=e038888950569c980a1a55a3fb5e07c8ad1ff13e;hb=39b262dbbf5163ed0bdd32f7c947133278c899bc;hp=6509cf75ddc7ad5f81fb5c317b87ef5b84ee55be;hpb=f38eb88276e50b562fed84f436f3acee39f48587;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index 6509cf7..e038888 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -1088,7 +1088,7 @@ uTysOuter :: InBox -> TcType    -- ty1 is the *actual*   type
           -> TcM CoercionI
 -- We've just pushed a context describing ty1,ty2
 uTysOuter nb1 ty1 nb2 ty2
-        = do { traceTc (text "uTysOuter" <+> ppr ty1 <+> ppr ty2)
+        = do { traceTc (text "uTysOuter" <+> sep [ppr ty1, ppr ty2])
              ; u_tys (Unify True ty1 ty2) nb1 ty1 ty1 nb2 ty2 ty2 }
 
 uTys :: InBox -> TcType -> InBox -> TcType -> TcM CoercionI