X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FDEPEND-NOTES;h=6610879dadad1687c91b20171509cfd16e406224;hb=a3113e20b1aa37dd1be8af8bf6859d279c654490;hp=3e67308be1fdf799fc16833aa7390e3a144c9749;hpb=a127213c1890584702075d732d7bb9887113e4ff;p=ghc-hetmet.git diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES index 3e67308..6610879 100644 --- a/ghc/compiler/DEPEND-NOTES +++ b/ghc/compiler/DEPEND-NOTES @@ -7,14 +7,16 @@ A 'loop' indicates a use from a module compiled later Name, PrimRep, FieldLabel (loop Type.Type) then - Var (loop CoreSyn.CoreExpr, loop IdInfo.IdInfo, + PrelNames +then + Var (Name, loop CoreSyn.CoreExpr, loop IdInfo.IdInfo, loop Type.GenType, loop Type.Kind) 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) + TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon, loop Generics.GenInfo) then Type (loop DataCon.DataCon, loop Subst.substTy) then @@ -24,29 +26,28 @@ then then Literal (TysPrim, PprType), DataCon then - InstEnv (Unify) -then - TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId) + TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo) 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 CoreUnfold (OccurAnal.occurAnalyseGlobalExpr) then - Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding) + Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding), Generics (mkTopUnfolding) then MkId (CoreUnfold.mkUnfolding, Subst) - +then + PrelInfo (MkId)