diff options
Diffstat (limited to 'compiler/GHC/Tc/Solver')
| -rw-r--r-- | compiler/GHC/Tc/Solver/Interact.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Solver/Monad.hs | 6 |
2 files changed, 3 insertions, 5 deletions
diff --git a/compiler/GHC/Tc/Solver/Interact.hs b/compiler/GHC/Tc/Solver/Interact.hs index d92dca7e3d..703efdf786 100644 --- a/compiler/GHC/Tc/Solver/Interact.hs +++ b/compiler/GHC/Tc/Solver/Interact.hs @@ -16,7 +16,7 @@ import GHC.Tc.Utils.TcType import GHC.Builtin.Names ( coercibleTyConKey, heqTyConKey, eqTyConKey, ipClassKey ) import GHC.Tc.Instance.FunDeps import GHC.Tc.Instance.Family -import GHC.Tc.Instance.Class ( InstanceWhat(..), safeOverlap ) +import GHC.Tc.Instance.Class ( safeOverlap ) import GHC.Tc.Types.Evidence import GHC.Utils.Outputable diff --git a/compiler/GHC/Tc/Solver/Monad.hs b/compiler/GHC/Tc/Solver/Monad.hs index 5fdd4df702..73eea460bc 100644 --- a/compiler/GHC/Tc/Solver/Monad.hs +++ b/compiler/GHC/Tc/Solver/Monad.hs @@ -134,7 +134,7 @@ import qualified GHC.Tc.Utils.Env as TcM import GHC.Driver.Session -import GHC.Tc.Instance.Class( InstanceWhat(..), safeOverlap, instanceReturnsDictCon ) +import GHC.Tc.Instance.Class( safeOverlap, instanceReturnsDictCon ) import GHC.Tc.Utils.TcType import GHC.Tc.Solver.Types import GHC.Tc.Solver.InertSet @@ -1420,11 +1420,9 @@ checkWellStagedDFun loc what pred Just bind_lvl | bind_lvl > impLevel -> wrapTcS $ TcM.setCtLocM loc $ do { use_stage <- TcM.getStage - ; TcM.checkWellStaged pp_thing bind_lvl (thLevel use_stage) } + ; TcM.checkWellStaged (StageCheckInstance what pred) bind_lvl (thLevel use_stage) } _ -> return () - where - pp_thing = text "instance for" <+> quotes (ppr pred) -- | Returns the ThLevel of evidence for the solved constraint (if it has evidence) -- See Note [Well-staged instance evidence] |