From: panne Date: Thu, 30 Sep 2004 19:24:53 +0000 (+0000) Subject: [project @ 2004-09-30 19:24:53 by panne] X-Git-Tag: Initial_conversion_from_CVS_complete~1561 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=dfd0a66ead5d26f951109c074c685c2577aaf151 [project @ 2004-09-30 19:24:53 by panne] Make it compile with a GHC 6.x. The layout rule seems to be a mystery even for one of the "fathers" of Haskell... :-} --- 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