diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2021-05-28 18:00:59 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2021-05-28 23:30:37 -0400 |
| commit | f68088f1c9d8dc7d0992218a7d7a4407818175b9 (patch) | |
| tree | b4f07b15cdf25eb5765a79e15a74340ffd252df9 /compiler/GHC/Tc/Solver/Rewrite.hs | |
| parent | 3e4ef4b2d05ce0bdd70abd96066f0376dc0e13d6 (diff) | |
| download | haskell-wip/break-up-tcs-monad.tar.gz | |
Rip GHC.Tc.Solver.Monad asunder (only)wip/break-up-tcs-monad
This creates new modules GHC.Tc.Solver.InertSet and
GHC.Tc.Solver.Types. The Monad module is still pretty
big, but this is an improvement. Moreover, it means
that GHC.HsToCore.Pmc.Solver.Types no longer depends
on the constraint solver (it now depends on GHC.Tc.Solver.InertSet),
making the error-messages work easier.
This patch thus contributes to #18516.
Diffstat (limited to 'compiler/GHC/Tc/Solver/Rewrite.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver/Rewrite.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver/Rewrite.hs b/compiler/GHC/Tc/Solver/Rewrite.hs index 9c0d39ec46..13f6c4ce1b 100644 --- a/compiler/GHC/Tc/Solver/Rewrite.hs +++ b/compiler/GHC/Tc/Solver/Rewrite.hs @@ -28,6 +28,7 @@ import GHC.Utils.Outputable import GHC.Utils.Panic import GHC.Utils.Panic.Plain import GHC.Tc.Solver.Monad as TcS +import GHC.Tc.Solver.Types import GHC.Utils.Misc import GHC.Data.Maybe @@ -333,7 +334,7 @@ it expands the synonym and proceeds; if not, it simply returns the unexpanded synonym. See also Note [Rewriting synonyms]. Where do we actually perform rewriting within a type? See Note [Rewritable] in -GHC.Tc.Solver.Monad. +GHC.Tc.Solver.InertSet. Note [rewrite_args performance] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |