<li><a href="the-beast/basicTypes.html">The Basics</a>
<li><a href="the-beast/modules.html">Modules, ModuleNames and Packages</a>
<li><a href="the-beast/vars.html">The Real Story about Variables, Ids, TyVars, and the like</a>
+ <li><a href="the-beast/renamer.html">The Glorious Renamer</a>
<li><a href="the-beast/typecheck.html">Checking Types</a>
<li><a href="the-beast/desugar.html">Sugar Free: From Haskell To Core</a>
<li><a href="the-beast/simplifier.html">The Mighty Simplifier</a>
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>