[project @ 2004-09-30 19:24:53 by panne]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcPat.lhs

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index c038f7e..f831b75 100644 (file)
--- 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