[project @ 2000-06-13 14:37:46 by keithw]

[ghc-hetmet.git] / ghc / compiler / DEPEND-NOTES

diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES
index 34931bd..8f63938 100644 (file)
--- a/ghc/compiler/DEPEND-NOTES
+++ b/ghc/compiler/DEPEND-NOTES
@@ -7,7 +7,7 @@ A 'loop' indicates a use from a module compiled later
 
        Name, PrimRep, FieldLabel (loop Type.Type)
 then
-       Var (loop Const.Con, loop IdInfo.IdInfo, 
+       Var (loop CoreSyn.CoreExpr, loop IdInfo.IdInfo, 
             loop Type.GenType, loop Type.Kind)
 then
        VarEnv, VarSet, ThinAir
@@ -18,24 +18,32 @@ then
 then
        Type (loop DataCon.DataCon, loop Subst.substTy)
 then
-       DataCon, TysPrim, Unify, PprType
+       TysPrim (Type), PprEnv (loop DataCon.DataCon, Type)
+then
+       Unify, PprType (PprEnv)
+then
+       Literal (TysPrim, PprType), DataCon
 then
        InstEnv (Unify)
 then
-       IdInfo (loop CoreRules.CoreRules) 
        TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId)
 then
-       PrimOp (PprType, TysWiredIn, IdInfo.StrictnessInfo)
+       PrimOp (PprType, TysWiredIn)
+then
+       CoreSyn
+then
+       IdInfo (CoreSyn.Unfolding, CoreSyn.CoreRules)
 then
-       Const (PrimOp.PrimOp, TysWiredIn.stringTy)
+       Id (lots from IdInfo)
 then
-       Id (Const.Con(..)), CoreSyn
+       CoreFVs, PprCore
 then
-       CoreUtils (loop PprCore.pprCoreExpr), CoreFVs
+       CoreUtils (PprCore.pprCoreExpr, CoreFVs.exprFreeVars,
+                  CoreSyn.isEvaldUnfolding CoreSyn.maybeUnfoldingTemplate)
 then   
-       OccurAnal (ThinAir.noRepStrs -- an awkward dependency)
+       OccurAnal (CoreUtils.exprIsTrivial)
 then
-       CoreUnfold (loop OccurAnal.globalOccurAnalyse)
+       CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
 then
        Rules (Unfolding), Subst (Unfolding, CoreFVs), CoreTidy (noUnfolding)
 then