Commit 39b262db authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Tidy up debug print a little

parent 0ebb7768
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment