diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2021-05-28 18:00:59 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-29 10:18:37 -0400 |
| commit | 6db8a0f76ec45d47060e28bb303e9eef60bdb16b (patch) | |
| tree | 40c95b50485a46237a71a664874d38015c75c5de /compiler/GHC/Tc/Instance/Class.hs | |
| parent | 0f8872ecac49b2e4075e64ac93269a4a78d69cff (diff) | |
| download | haskell-6db8a0f76ec45d47060e28bb303e9eef60bdb16b.tar.gz | |
Rip GHC.Tc.Solver.Monad asunder (only)
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/Instance/Class.hs')
| -rw-r--r-- | compiler/GHC/Tc/Instance/Class.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Instance/Class.hs b/compiler/GHC/Tc/Instance/Class.hs index af13a31272..f80d3eaf93 100644 --- a/compiler/GHC/Tc/Instance/Class.hs +++ b/compiler/GHC/Tc/Instance/Class.hs @@ -99,7 +99,7 @@ data ClsInstResult data InstanceWhat = BuiltinInstance | BuiltinEqInstance -- A built-in "equality instance"; see the - -- GHC.Tc.Solver.Monad Note [Solved dictionaries] + -- GHC.Tc.Solver.InertSet Note [Solved dictionaries] | LocalInstance | TopLevInstance { iw_dfun_id :: DFunId , iw_safe_over :: SafeOverlapping } @@ -124,7 +124,7 @@ safeOverlap (TopLevInstance { iw_safe_over = so }) = so safeOverlap _ = True instanceReturnsDictCon :: InstanceWhat -> Bool --- See Note [Solved dictionaries] in GHC.Tc.Solver.Monad +-- See Note [Solved dictionaries] in GHC.Tc.Solver.InertSet instanceReturnsDictCon (TopLevInstance {}) = True instanceReturnsDictCon BuiltinInstance = True instanceReturnsDictCon BuiltinEqInstance = False |