diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-09-07 17:08:27 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-12 21:27:40 -0400 |
| commit | a77e48d291b35a92731f106d79ea75117ec380e1 (patch) | |
| tree | 334a8d173c4ffba8be4b8b0f89bbb2d3f1635595 /compiler/ghc.cabal.in | |
| parent | 69ea2fee35b4bcfd9253ee608f7135024186aeed (diff) | |
| download | haskell-a77e48d291b35a92731f106d79ea75117ec380e1.tar.gz | |
Extract definition of DsM into GHC.HsToCore.Types
`DsM` was previously defined in `GHC.Tc.Types`, along with `TcM`. But
`GHC.Tc.Types` is in the set of transitive dependencies of `GHC.Parser`,
a set which we aim to minimise. Test case `CountParserDeps` checks for
that.
Having `DsM` in that set means the parser also depends on the innards of
the pattern-match checker in `GHC.HsToCore.PmCheck.Types`, which is the
reason we have that module in the first place.
In the previous commit, we represented the `TyState` by an `InertSet`,
but that pulls the constraint solver as well as 250 more modules into
the set of dependencies, triggering failure of `CountParserDeps`.
Clearly, we want to evolve the pattern-match checker (and the desugarer)
without being concerned by this test, so this patch includes a small
refactor that puts `DsM` into its own module.
Diffstat (limited to 'compiler/ghc.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index 577add44d1..f0f5a638d4 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -314,6 +314,7 @@ Library GHC.HsToCore.PmCheck GHC.HsToCore.Coverage GHC.HsToCore + GHC.HsToCore.Types GHC.HsToCore.Arrows GHC.HsToCore.Binds GHC.HsToCore.Foreign.Call |