href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/basicTypes/"><code>fptools/ghc/compiler/basicTypes/</code></a>
contains modules that define some of the essential types definition for
the compiler - such as, identifiers, variables, modules, and unique
- names. Some of those are discussed in the following. Some more
- detailed information on <code>Var</code>s, <code>Id</code>s, and
- <code>TyVar</code>s is provided <a href="vars.html">elsewhere.</a>
+ names. Some of those are discussed in the following. See elsewhere for more
+ detailed information on:
+ <ul>
+ <li> <a href="vars.html"><code>Var</code>s, <code>Id</code>s, and <code>TyVar</code>s</a>
+ <li> <a href="renamer.html"><code>OccName</code>s, <code>RdrName</code>s, and <code>Names</code>s</a>
+ </ul>
<h2>Elementary Types</h2>
<p>
The Module <code>NameSet</code> provides the same functionality as
<code>VarSet</code> only for <a
- href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/basicTypes/Name.lhs"><code>Name<code></a>s.
+ href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/basicTypes/Name.lhs"><code>Name</code></a>s.
As for the difference between <code>Name</code>s and <code>Var</code>s,
a <code>Var</code> is built from a <code>Name</code> plus additional
information (mostly importantly type information).