[project @ 2005-04-29 11:10:42 by simonpj]

[ghc-hetmet.git] / ghc / docs / comm / genesis / modules.html

diff --git a/ghc/docs/comm/genesis/modules.html b/ghc/docs/comm/genesis/modules.html
index 8d63c53..de59cce 100644 (file)
--- a/ghc/docs/comm/genesis/modules.html
+++ b/ghc/docs/comm/genesis/modules.html
@@ -63,7 +63,9 @@ identifiers, expressions, rules, and their operations.</strong>
 <p><li>
        TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon, loop Generics.GenInfo)
 <p><li>
-       Type (loop DataCon.DataCon, loop Subst.substTy)
+       TypeRep (loop DataCon.DataCon, loop Subst.substTyWith)
+<p><li>
+       Type (loop PprType.pprType, loop Subst.substTyWith)
 <p><li>
        FieldLabel(Type) <br> 
        TysPrim(Type) <br> 
@@ -71,7 +73,7 @@ identifiers, expressions, rules, and their operations.</strong>
        Literal (TysPrim, PprType) <br> 
        DataCon (loop PprType, loop Subst.substTyWith, FieldLabel.FieldLabel)
 <p><li>
-       TysWiredIn (loop MkId.mkDataConWorkId, loop Generics.mkGenInfo, DataCon.mkDataCon)
+       TysWiredIn (loop MkId.mkDataConIds)
 <p><li>
        TcType( lots of TysWiredIn stuff)
 <p><li>
@@ -98,8 +100,7 @@ identifiers, expressions, rules, and their operations.</strong>
        CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
 <p><li>
        Subst (CoreUnfold.Unfolding, CoreFVs)  <br>
-       Generics (CoreUnfold.mkTopUnfolding)
-<p><li>
+       Generics (CoreUnfold.mkTopUnfolding) <br>
        Rules (CoreUnfold.Unfolding, PprCore.pprTidyIdRules)
 <p><li>
        MkId (CoreUnfold.mkUnfolding, Subst, Rules.addRule)
@@ -117,8 +118,36 @@ identifiers, expressions, rules, and their operations.</strong>
 </ul></tt>
 </ul>
 
+HsSyn stuff
+<ul> 
+<li> HsPat.hs-boot
+<li> HsExpr.hs-boot (loop HsPat.LPat)
+<li> HsTypes (loop HsExpr.HsSplice)
+<li> HsBinds (HsTypes.LHsType, loop HsPat.LPat, HsExpr.pprFunBind and others)
+     HsLit (HsTypes.SyntaxName)
+<li> HsPat (HsBinds, HsLit)
+     HsDecls (HsBinds)
+<li> HsExpr (HsDecls, HsPat)
+</ul>
+
+
 
+<h2>Library stuff: base package</h2>
 
+<ul> 
+<li> GHC.Base
+<li> Data.Tuple (GHC.Base), GHC.Ptr (GHC.Base)
+<li> GHC.Enum (Data.Tuple)
+<li> GHC.Show (GHC.Enum)
+<li> GHC.Num (GHC.Show)
+<li> GHC.ST (GHC.Num), GHC.Real (GHC.Num)
+<li> GHC.Arr (GHC.ST) GHC.STRef (GHC.ST)
+<li> GHC.IOBase (GHC.Arr)
+<li> Data.Bits (GHC.Real)
+<li> Data.HashTable (Data.Bits, Control.Monad)
+<li> Data.Typeable (GHC.IOBase, Data.HashTable)
+<li> GHC.Weak (Data.Typeable, GHC.IOBase)
+</ul>
 
 
     <p><small>