[project @ 2004-08-13 13:04:50 by simonmar]
[ghc-hetmet.git] / ghc / docs / comm / genesis / modules.html
index 8d63c53..889d720 100644 (file)
@@ -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>