projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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>
<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>
<p><li>
- FieldLabel( Type) <br>
- TysPrim(Type) <br>
- PprEnv (loop DataCon.DataCon, Type)
+ Type (loop PprType.pprType, loop Subst.substTyWith)
<p><li>
<p><li>
- Unify <br>
- PprType (PprEnv)
+ FieldLabel(Type) <br>
+ TysPrim(Type) <br>
<p><li>
Literal (TysPrim, PprType) <br>
<p><li>
Literal (TysPrim, PprType) <br>
- DataCon (loop PprType)
+ DataCon (loop PprType, loop Subst.substTyWith, FieldLabel.FieldLabel)
<p><li>
<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>
<p><li>
TcType( lots of TysWiredIn stuff)
<p><li>