X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FDEPEND-NOTES;h=f2ba2443152167f6a2af534340fe28ab120fe5ad;hb=86f2671b37507012692a53c2fe45357b0988cb40;hp=859d1a2142a836c5b02798627880a93fe146d85f;hpb=111cee3f1ad93816cb828e38b38521d85c3bcebb;p=ghc-hetmet.git diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES index 859d1a2..f2ba244 100644 --- a/ghc/compiler/DEPEND-NOTES +++ b/ghc/compiler/DEPEND-NOTES @@ -1,51 +1,4 @@ - Notes on module dependencies - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - -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) -then - Var (loop Const.Con, loop IdInfo.IdInfo, - loop Type.GenType, loop Type.Kind) -then - VarEnv, VarSet, ThinAir -then - Class (loop TyCon.TyCon, loop Type.Type, loop InstEnv.InstEnv) -then - TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon) -then - Type (loop DataCon.DataCon, loop Subst.substTy) -then - TysPrim (Type), PprEnv (loop DataCon.DataCon, Type) -then - Unify, PprType (PprEnv) -then - Literal (TysPrim, PprType), DataCon -then - InstEnv (Unify) -then - TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId) -then - PrimOp (PprType, TysWiredIn) -then - IdInfo (loop CoreSyn.CoreRules, loop CoreUnfold.Unfolding) -then - Const (PrimOp.PrimOp, TysWiredIn.stringTy) -then - Id (Const.Con(..)), CoreSyn -then - CoreFVs, PprCore -then - CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars) -then - OccurAnal (ThinAir.noRepStrs -- an awkward dependency) -then - CoreUnfold (loop OccurAnal.globalOccurAnalyse) -then - Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding) -then - MkId (CoreUnfold.mkUnfolding, Subst) +Module dependency information is now given in the GHC commentary + ghc/docs/comm/genesis/modules.html