[project @ 2001-10-19 14:22:11 by simonpj]

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

diff --git a/ghc/compiler/DEPEND-NOTES b/ghc/compiler/DEPEND-NOTES
index f92764e..79288ae 100644 (file)
--- a/ghc/compiler/DEPEND-NOTES
+++ b/ghc/compiler/DEPEND-NOTES
@@ -5,12 +5,12 @@ 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
        PrelNames
 then
-       Var (Name, loop CoreSyn.CoreExpr, loop IdInfo.IdInfo, 
-            loop Type.GenType, loop Type.Kind)
+       Var (Name, loop IdInfo.IdInfo, 
+            loop Type.Type, loop Type.Kind)
 then
        VarEnv, VarSet, ThinAir
 then
@@ -20,14 +20,18 @@ 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
-       Literal (TysPrim, PprType), DataCon (PprType)
+       Literal (TysPrim, PprType), DataCon (loop PprType)
 then
        TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo)
 then
+       TcType( lots of TywWiredIn stuff)
+then
+       PprType( lots of TcType stuff )
+then
        PrimOp (PprType, TysWiredIn)
 then
        CoreSyn