[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