X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FDEPEND-NOTES;h=f2ba2443152167f6a2af534340fe28ab120fe5ad;hb=e0dc0bc87a534b5a0329d3544c408c5f32d129a4;hp=23f2a7fe0092cc2af82b7d329bd22c1cb5d76f4b;hpb=922805b23964e54f9aa5e7408747617d32ea0e1d;p=ghc-hetmet.git diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES index 23f2a7f..f2ba244 100644 --- a/ghc/compiler/DEPEND-NOTES +++ b/ghc/compiler/DEPEND-NOTES @@ -1,68 +1,4 @@ - Notes on module dependencies - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Module dependency information is now given in the GHC commentary -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 -then - 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, loop Generics.GenInfo) -then - Type (loop DataCon.DataCon, loop Subst.substTy) -then - FieldLabel( Type), TysPrim (Type), PprEnv (loop DataCon.DataCon, Type) -then - Unify, PprType (PprEnv) -then - Literal (TysPrim, PprType), DataCon (loop PprType) -then - TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo) -then - TcType( lots of TysWiredIn stuff) -then - PprType( lots of TcType stuff ) -then - PrimOp (PprType, TysWiredIn) -then - CoreSyn [does not import Id] -then - IdInfo (CoreSyn.Unfolding, CoreSyn.CoreRules) -then - Id (lots from IdInfo) -then - CoreFVs, PprCore -then - CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars, - CoreSyn.isEvaldUnfolding CoreSyn.maybeUnfoldingTemplate) -then - CoreLint( CoreUtils ) - OccurAnal (CoreUtils.exprIsTrivial) - CoreTidy (CoreUtils.exprArity ) -then - CoreUnfold (OccurAnal.occurAnalyseGlobalExpr) -then - Subst (CoreUnfold.Unfolding, CoreFVs) - Generics (CoreUnfold.mkTopUnfolding) -then - Rules (CoreUnfold.Unfolding, PprCore.pprTidyIdRules) -then - MkId (CoreUnfold.mkUnfolding, Subst, Rules.addRule) -then - PrelInfo (MkId) - HscTypes( Rules.RuleBase ) - ----------------- END OF INFRASTRUCTURE -------------------- - -then - CoreTidy (HscTypes.PersistentCompilerState) + ghc/docs/comm/genesis/modules.html