X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FDEPEND-NOTES;h=79288ae30b6e4aa8d5d97ff414be3e8ac6cac491;hb=bbffa95af87bb66635aaffdaddcd31be063752dc;hp=8f63938dcc9fb19a4636587e6205fef0525ff094;hpb=495ef8bd9ef30bffe50ea399b91e3ba09646b59a;p=ghc-hetmet.git diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES index 8f63938..79288ae 100644 --- a/ghc/compiler/DEPEND-NOTES +++ b/ghc/compiler/DEPEND-NOTES @@ -5,28 +5,32 @@ The Name/Var/Type group is a bit complicated. Here's the deal Things in brackets are what the module *uses*. A 'loop' indicates a use from a module compiled later - Name, PrimRep, FieldLabel (loop Type.Type) + Name, PrimRep then - Var (loop CoreSyn.CoreExpr, loop IdInfo.IdInfo, - loop Type.GenType, loop Type.Kind) + PrelNames +then + Var (Name, loop IdInfo.IdInfo, + loop Type.Type, 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 - TysPrim (Type), PprEnv (loop DataCon.DataCon, Type) + FieldLabel( Type), TysPrim (Type), PprEnv (loop DataCon.DataCon, Type) then Unify, PprType (PprEnv) then - Literal (TysPrim, PprType), DataCon + Literal (TysPrim, PprType), DataCon (loop PprType) +then + TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo) then - InstEnv (Unify) + TcType( lots of TywWiredIn stuff) then - TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId) + PprType( lots of TcType stuff ) then PrimOp (PprType, TysWiredIn) then @@ -45,8 +49,9 @@ then 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)