[commit: ghc] wip/14691: Fix TcPluginM (5c71968)

git at git.haskell.org git at git.haskell.org
Tue Jan 23 01:43:23 UTC 2018


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

On branch  : wip/14691
Link       : http://ghc.haskell.org/trac/ghc/changeset/5c7196845ac9ccc85fe1b3f0349b844783f7449a/ghc

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

commit 5c7196845ac9ccc85fe1b3f0349b844783f7449a
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Jan 22 20:38:40 2018 -0500

    Fix TcPluginM


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

5c7196845ac9ccc85fe1b3f0349b844783f7449a
 compiler/typecheck/TcPluginM.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcPluginM.hs b/compiler/typecheck/TcPluginM.hs
index 807989e..b84e5ad 100644
--- a/compiler/typecheck/TcPluginM.hs
+++ b/compiler/typecheck/TcPluginM.hs
@@ -70,7 +70,7 @@ import TcRnMonad  ( TcGblEnv, TcLclEnv, Ct, CtLoc, TcPluginM
 import TcMType    ( TcTyVar, TcType )
 import TcEnv      ( TcTyThing )
 import TcEvidence ( TcCoercion, CoercionHole
-                  , EvTerm, EvBind, mkGivenEvBind )
+                  , EvExpr, EvBind, mkGivenEvBind )
 import TcRnTypes  ( CtEvidence(..) )
 import Var        ( EvVar )
 
@@ -170,7 +170,7 @@ newDerived loc pty = return CtDerived { ctev_pred = pty, ctev_loc = loc }
 -- | Create a new given constraint, with the supplied evidence.  This
 -- must not be invoked from 'tcPluginInit' or 'tcPluginStop', or it
 -- will panic.
-newGiven :: CtLoc -> PredType -> EvTerm -> TcPluginM CtEvidence
+newGiven :: CtLoc -> PredType -> EvExpr -> TcPluginM CtEvidence
 newGiven loc pty evtm = do
    new_ev <- newEvVar pty
    setEvBind $ mkGivenEvBind new_ev evtm



More information about the ghc-commits mailing list