[project @ 2004-08-13 13:04:50 by simonmar]

[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 2706038..889d720 100644 (file)
--- a/ghc/docs/comm/genesis/modules.html
+++ b/ghc/docs/comm/genesis/modules.html
@@ -63,19 +63,17 @@ 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>
-       FieldLabel( Type) <br> 
-       TysPrim(Type) <br> 
-       PprEnv (loop DataCon.DataCon, Type)
+       Type (loop PprType.pprType, loop Subst.substTyWith)
 <p><li>
-       Unify <br> 
-       PprType (PprEnv)
+       FieldLabel(Type) <br> 
+       TysPrim(Type) <br> 
 <p><li>
        Literal (TysPrim, PprType) <br> 
-       DataCon (loop PprType)
+       DataCon (loop PprType, loop Subst.substTyWith, FieldLabel.FieldLabel)
 <p><li>
-       TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo)
+       TysWiredIn (loop MkId.mkDataConWorkId, loop Generics.mkGenInfo, DataCon.mkDataCon)
 <p><li>
        TcType( lots of TysWiredIn stuff)
 <p><li>