then
VarEnv, VarSet, ThinAir
then
- Class (loop TyCon.TyCon, loop Type.Type, loop InstEnv.InstEnv)
+ Class (loop TyCon.TyCon, loop Type.Type)
then
TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon)
then
then
Literal (TysPrim, PprType), DataCon
then
- InstEnv (Unify)
-then
TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId)
then
PrimOp (PprType, TysWiredIn)
then
CoreSyn
then
- IdInfo (loop CoreSyn.CoreRules etc, loop CoreUnfold.Unfolding)
+ IdInfo (CoreSyn.Unfolding, CoreSyn.CoreRules)
then
Id (lots from IdInfo)
then
CoreFVs, PprCore
then
CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars,
- loop CoreUnfold.isEvaldUnfolding CoreUnfold.maybeUnfoldingTemplate)
+ CoreSyn.isEvaldUnfolding CoreSyn.maybeUnfoldingTemplate)
then
OccurAnal (CoreUtils.exprIsTrivial)
then