diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-22 20:38:40 -0500 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-22 20:43:04 -0500 |
| commit | 5c7196845ac9ccc85fe1b3f0349b844783f7449a (patch) | |
| tree | 47481ecaaba8c42b528aa95444dd756d38ff5500 | |
| parent | 51d5533979e7a189c21da544996c207a31da047e (diff) | |
| download | haskell-5c7196845ac9ccc85fe1b3f0349b844783f7449a.tar.gz | |
Fix TcPluginM
| -rw-r--r-- | compiler/typecheck/TcPluginM.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcPluginM.hs b/compiler/typecheck/TcPluginM.hs index 807989e791..b84e5ad832 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 |