then
PrimOp (PprType, TysWiredIn)
then
- CoreSyn
+ CoreSyn [does not import Id]
then
IdInfo (CoreSyn.Unfolding, CoreSyn.CoreRules)
then
CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars,
CoreSyn.isEvaldUnfolding CoreSyn.maybeUnfoldingTemplate)
then
+ CoreLint( CoreUtils )
OccurAnal (CoreUtils.exprIsTrivial)
+ CoreTidy (CoreUtils.exprArity )
then
CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
then
- Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding), Generics (mkTopUnfolding)
+ Subst (CoreUnfold.Unfolding, CoreFVs)
+ Generics (CoreUnfold.mkTopUnfolding)
then
- MkId (CoreUnfold.mkUnfolding, Subst)
+ Rules (CoreUnfold.Unfolding, PprCore.pprTidyIdRules)
+then
+ MkId (CoreUnfold.mkUnfolding, Subst, Rules.addRule)
then
PrelInfo (MkId)
+ HscTypes( Rules.RuleBase )
+
+---------------- END OF INFRASTRUCTURE --------------------
+
+then
+ CoreTidy (HscTypes.PersistentCompilerState)