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.cabal.in | |
| 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.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index ae596cd48e..df15959944 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -603,8 +603,10 @@ Library GHC.Tc.Solver GHC.Tc.Solver.Canonical GHC.Tc.Solver.Rewrite + GHC.Tc.Solver.InertSet GHC.Tc.Solver.Interact GHC.Tc.Solver.Monad + GHC.Tc.Solver.Types GHC.Tc.TyCl GHC.Tc.TyCl.Build GHC.Tc.TyCl.Class |