diff options
Diffstat (limited to 'compiler/GHC/Tc/Plugin.hs')
-rw-r--r-- | compiler/GHC/Tc/Plugin.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Plugin.hs b/compiler/GHC/Tc/Plugin.hs index 0674f69903..78a0ebd16a 100644 --- a/compiler/GHC/Tc/Plugin.hs +++ b/compiler/GHC/Tc/Plugin.hs @@ -67,13 +67,14 @@ import GHC.Tc.Utils.Monad ( TcGblEnv, TcLclEnv, TcPluginM import GHC.Tc.Types.Constraint ( Ct, CtLoc, CtEvidence(..), ctLocOrigin ) import GHC.Tc.Utils.TcMType ( TcTyVar, TcType ) import GHC.Tc.Utils.Env ( TcTyThing ) -import GHC.Tc.Types.Evidence ( TcCoercion, CoercionHole, EvTerm(..) +import GHC.Tc.Types.Evidence ( CoercionHole, EvTerm(..) , EvExpr, EvBind, mkGivenEvBind ) import GHC.Types.Var ( EvVar ) import GHC.Unit.Module import GHC.Types.Name import GHC.Types.TyThing +import GHC.Core.Reduction ( Reduction ) import GHC.Core.TyCon import GHC.Core.DataCon import GHC.Core.Class @@ -142,7 +143,7 @@ getFamInstEnvs :: TcPluginM (FamInstEnv, FamInstEnv) getFamInstEnvs = unsafeTcPluginTcM TcM.tcGetFamInstEnvs matchFam :: TyCon -> [Type] - -> TcPluginM (Maybe (TcCoercion, TcType)) + -> TcPluginM (Maybe Reduction) matchFam tycon args = unsafeTcPluginTcM $ TcS.matchFamTcM tycon args newUnique :: TcPluginM Unique |