X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcPat.lhs;h=f831b751e677ee129ed68350caafe66fb841299a;hb=dfd0a66ead5d26f951109c074c685c2577aaf151;hp=c038f7e5f48ecc1a72e6f45e4791b1429f978bc4;hpb=d709f886d5f1feb9abe2fc1cecd197234b19dc23;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index c038f7e..f831b75 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -492,8 +492,8 @@ refineAlt ctxt con ex_tvs ctxt_tys pat_tys thing_inside
 		      | otherwise         = tcMatchTys
 	; case refiner ex_tvs old_subst pat_tys ctxt_tys of
 		Failed msg -> failWithTc (inaccessibleAlt msg)
-		Succeeded new_subst -> do
-	{ traceTc (text "refineTypes:match" <+> ppr con <+> ppr new_subst)
+		Succeeded new_subst -> do {
+	  traceTc (text "refineTypes:match" <+> ppr con <+> ppr new_subst)
 	; setTypeRefinement new_subst thing_inside } }
 
   where