projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2001-11-26 09:20:25 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
DEPEND-NOTES
diff --git
a/ghc/compiler/DEPEND-NOTES
b/ghc/compiler/DEPEND-NOTES
index
859d1a2
..
903742a
100644
(file)
--- a/
ghc/compiler/DEPEND-NOTES
+++ b/
ghc/compiler/DEPEND-NOTES
@@
-5,47
+5,53
@@
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
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
then
- Var (loop Const.Con, 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
then
VarEnv, VarSet, ThinAir
then
- Class (loop TyCon.TyCon, loop Type.Type, loop InstEnv.InstEnv)
+ Class (loop TyCon.TyCon, loop Type.Type)
then
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
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
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
then
- InstEnv (Unify)
+ TcType( lots of TysWiredIn stuff)
then
then
- TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId)
+ PprType( lots of TcType stuff )
then
PrimOp (PprType, TysWiredIn)
then
then
PrimOp (PprType, TysWiredIn)
then
- IdInfo (loop CoreSyn.CoreRules, loop CoreUnfold.Unfolding)
+ CoreSyn
then
then
- Const (PrimOp.PrimOp, TysWiredIn.stringTy)
+ IdInfo (CoreSyn.Unfolding, CoreSyn.CoreRules)
then
then
- Id (Const.Con(..)), CoreSyn
+ Id (lots from IdInfo)
then
CoreFVs, PprCore
then
then
CoreFVs, PprCore
then
- CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars)
+ CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars,
+ CoreSyn.isEvaldUnfolding CoreSyn.maybeUnfoldingTemplate)
then
then
- OccurAnal (ThinAir.noRepStrs -- an awkward dependency)
+ OccurAnal (CoreUtils.exprIsTrivial)
then
then
- CoreUnfold (loop OccurAnal.globalOccurAnalyse)
+ CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
then
then
- Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding)
+ Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding), Generics (mkTopUnfolding)
then
MkId (CoreUnfold.mkUnfolding, Subst)
then
MkId (CoreUnfold.mkUnfolding, Subst)
-
+then
+ PrelInfo (MkId)