PmCheck: Big refactor of module structure
- Move everything from
GHC.HsToCore.PmCheck.*
toGHC.HsToCore.Pmc.*
in analogy toGHC.Tc
, rename exportedcovCheck*
functions topmc*
- Rename
Pmc.Oracle
toPmc.Solver
- Split off the LYG desugaring and checking steps into their own
modules (
Pmc.Desugar
andPmc.Check
respectively) - Split off a
Pmc.Utils
module with stuff shared byPmc.{,Desugar,Check,Solver}
- Move
Pmc.Types
toPmc.Solver.Types
, add a newPmc.Types
module with all the LYG types, which form the interfaces betweenPmc.{Desugar,Check,Solver,}
. - Extract
SharedDIdEnv
into its own module. It's now namedGHC.Types.Unique.SDFM.UniqSDFM
. The implementation is more clear about its stated goals and supported operations.