diff options
Diffstat (limited to 'compiler/GHC/Tc/Types.hs')
| -rw-r--r-- | compiler/GHC/Tc/Types.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/GHC/Tc/Types.hs b/compiler/GHC/Tc/Types.hs index b49bc718cd..776d0f40fb 100644 --- a/compiler/GHC/Tc/Types.hs +++ b/compiler/GHC/Tc/Types.hs @@ -277,7 +277,7 @@ instance ContainsModule gbl => ContainsModule (Env gbl lcl) where -- (i.e. type family reductions and following filled-in metavariables) -- in the solver. data RewriteEnv - = FE { fe_loc :: !CtLoc + = RE { re_loc :: !CtLoc -- ^ In which context are we rewriting? -- -- Type-checking plugins might want to use this location information @@ -288,11 +288,12 @@ data RewriteEnv -- Within GHC, we use this field to keep track of reduction depth. -- See Note [Rewriter CtLoc] in GHC.Tc.Solver.Rewrite. - , fe_flavour :: !CtFlavour - , fe_eq_rel :: !EqRel + , re_flavour :: !CtFlavour + , re_eq_rel :: !EqRel -- ^ At what role are we rewriting? -- -- See Note [Rewriter EqRels] in GHC.Tc.Solver.Rewrite + , re_rewriters :: !(TcRef RewriterSet) -- ^ See Note [Wanteds rewrite Wanteds] } -- RewriteEnv is mostly used in @GHC.Tc.Solver.Rewrite@, but it is defined -- here so that it can also be passed to rewriting plugins. @@ -1667,12 +1668,11 @@ Constraint Solver Plugins ------------------------- -} --- | The @solve@ function of a type-checking plugin takes in Given, Derived +-- | The @solve@ function of a type-checking plugin takes in Given -- and Wanted constraints, and should return a 'TcPluginSolveResult' -- indicating which Wanted constraints it could solve, or whether any are -- insoluble. type TcPluginSolver = [Ct] -- ^ Givens - -> [Ct] -- ^ Deriveds -> [Ct] -- ^ Wanteds -> TcPluginM TcPluginSolveResult |