X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fcomm%2Fgenesis%2Fmodules.html;h=889d7206fe3138a8e9127c5cac1f4abbaa6822dd;hb=423d477bfecd490de1449c59325c8776f91d7aac;hp=2706038ac3fa01fadf02d5480055bd5545597cf4;hpb=75dc3f87f6a7b3535b7c83091a9a8e313f441e3b;p=ghc-hetmet.git

diff --git a/ghc/docs/comm/genesis/modules.html b/ghc/docs/comm/genesis/modules.html
index 2706038..889d720 100644
--- 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>