X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FDEPEND-NOTES;h=fb966c66b78fd2b49bb4422780d862f8d3c930a2;hb=ea138284b7343bb1810cfbd0284a608dc57f7d46;hp=c67fa9761196f3f4626628358e77a7cbb7dddf92;hpb=7bb069508f094825ca136ed97606651f3e093123;p=ghc-hetmet.git diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES index c67fa97..fb966c6 100644 --- a/ghc/compiler/DEPEND-NOTES +++ b/ghc/compiler/DEPEND-NOTES @@ -5,26 +5,28 @@ 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) 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 (PprType) then - TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId) + TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo) then PrimOp (PprType, TysWiredIn) then @@ -43,8 +45,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)