[commit: ghc] master: Use mkTcEqPred rather than mkEqPred (0ba74f6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/0ba74f6fea1f5c34ab962437eb9f300beaa0e0e8/ghc

>---------------------------------------------------------------

commit 0ba74f6fea1f5c34ab962437eb9f300beaa0e0e8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 3 13:58:27 2014 +0100

    Use mkTcEqPred rather than mkEqPred
    
    This was mostly done in an earlier commit, but I missed these two


>---------------------------------------------------------------

0ba74f6fea1f5c34ab962437eb9f300beaa0e0e8
 compiler/typecheck/TcSMonad.lhs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs
index ec9b6e3..e01b2fe 100644
--- a/compiler/typecheck/TcSMonad.lhs
+++ b/compiler/typecheck/TcSMonad.lhs
@@ -1833,7 +1833,7 @@ rewriteEqEvidence :: CtEvidence         -- Old evidence :: olhs ~ orhs (not swap
 -- It's all a form of rewwriteEvidence, specialised for equalities
 rewriteEqEvidence old_ev swapped nlhs nrhs lhs_co rhs_co
   | CtDerived { ctev_loc = loc } <- old_ev
-  = newDerived loc (mkEqPred nlhs nrhs)
+  = newDerived loc (mkTcEqPred nlhs nrhs)
 
   | NotSwapped <- swapped
   , isTcReflCo lhs_co      -- See Note [Rewriting with Refl]
@@ -1860,7 +1860,7 @@ rewriteEqEvidence old_ev swapped nlhs nrhs lhs_co rhs_co
   | otherwise
   = panic "rewriteEvidence"
   where
-    new_pred = mkEqPred nlhs nrhs
+    new_pred = mkTcEqPred nlhs nrhs
 
 maybeSym :: SwapFlag -> TcCoercion -> TcCoercion 
 maybeSym IsSwapped  co = mkTcSymCo co