Tidy up debug print a little
authorsimonpj@microsoft.com <unknown>
Thu, 6 May 2010 16:10:27 +0000 (16:10 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 6 May 2010 16:10:27 +0000 (16:10 +0000)
compiler/typecheck/TcUnify.lhs

index 6509cf7..e038888 100644 (file)
@@ -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