diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-09-24 16:56:28 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-26 05:36:46 -0400 |
| commit | af1e84e794591e09e20c661fa1d3df59f5b56e4a (patch) | |
| tree | 37ad147a0d3832c2ff30f8a3a7d0086021f52fcf /compiler/ghc.cabal.in | |
| parent | 83407ffc7acc00cc025b9f6ed063add9ab9f9bcc (diff) | |
| download | haskell-af1e84e794591e09e20c661fa1d3df59f5b56e4a.tar.gz | |
PmCheck: Big refactor of module structure
* Move everything from `GHC.HsToCore.PmCheck.*` to
`GHC.HsToCore.Pmc.*` in analogy to `GHC.Tc`, rename exported
`covCheck*` functions to `pmc*`
* Rename `Pmc.Oracle` to `Pmc.Solver`
* Split off the LYG desugaring and checking steps into their own
modules (`Pmc.Desugar` and `Pmc.Check` respectively)
* Split off a `Pmc.Utils` module with stuff shared by
`Pmc.{,Desugar,Check,Solver}`
* Move `Pmc.Types` to `Pmc.Solver.Types`, add a new `Pmc.Types` module
with all the LYG types, which form the interfaces between
`Pmc.{Desugar,Check,Solver,}`.
Diffstat (limited to 'compiler/ghc.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index 9665b5e4e2..918c6f7629 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -307,10 +307,14 @@ Library GHC.Core.Stats GHC.Core.Make GHC.Core.Ppr - GHC.HsToCore.PmCheck.Oracle - GHC.HsToCore.PmCheck.Ppr - GHC.HsToCore.PmCheck.Types - GHC.HsToCore.PmCheck + GHC.HsToCore.Pmc + GHC.HsToCore.Pmc.Types + GHC.HsToCore.Pmc.Utils + GHC.HsToCore.Pmc.Desugar + GHC.HsToCore.Pmc.Check + GHC.HsToCore.Pmc.Solver.Types + GHC.HsToCore.Pmc.Solver + GHC.HsToCore.Pmc.Ppr GHC.HsToCore.Coverage GHC.HsToCore GHC.HsToCore.Types |