[commit: ghc] ghc-new-co: Use eqSpecPreds (ee62a1b)

[Simon Peyton Jones]

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 <simonpj at microsoft.com>
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')