Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-co
http://hackage.haskell.org/trac/ghc/changeset/ee62a1b6847e42f76383b2e70003f2feb9e8435c >--------------------------------------------------------------- commit ee62a1b6847e42f76383b2e70003f2feb9e8435c Author: Simon Peyton Jones <[email protected]> Date: Fri May 6 15:34:09 2011 +0100 Use eqSpecPreds >--------------------------------------------------------------- compiler/typecheck/TcPat.lhs | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs index 2501225..c860bfe 100644 --- a/compiler/typecheck/TcPat.lhs +++ b/compiler/typecheck/TcPat.lhs @@ -695,8 +695,7 @@ tcConPat penv (L con_span con_name) pat_ty arg_pats thing_inside else do -- The general case, with existential, -- and local equality constraints - { let eq_preds = [mkEqPred (mkTyVarTy tv, ty) | (tv, ty) <- eq_spec] - theta' = substTheta tenv (eq_preds ++ theta) + { let theta' = substTheta tenv (eqSpecPreds eq_spec ++ theta) -- order is *important* as we generate the list of -- dictionary binders from theta' no_equalities = not (any isEqPred theta') _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
