1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
4 <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=ISO-8859-1">
5 <title>The GHC Commentary - The Beast Explained</title>
8 <body BGCOLOR="FFFFFF">
9 <h1>The Glasgow Haskell Compiler (GHC) Commentary [v0.14]</h1>
11 <!-- Contributors: Whoever makes substantial additions or changes to the
12 document, please add your name and keep the order alphabetic. Moreover,
13 please bump the version number for any substantial modification that you
16 <strong>Manuel M. T. Chakravarty</strong><br>
17 <strong>Sigbjorn Finne</strong><br>
18 <strong>Simon Marlow</strong><br>
19 <strong>Simon Peyton Jones</strong><br>
20 <strong>Julian Seward</strong><br>
21 <strong>Reuben Thomas</strong><br>
24 This document started as a collection of notes describing what <a
25 href="mailto:chak@cse.unsw.edu.au">I</a> learnt when poking around in
26 the <a href="http://haskell.org/ghc/">GHC</a> sources. During the
27 <i>Haskell Implementers Workshop</i> in January 2001, it was decided to
28 put the commentary into
29 <a href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/">GHC's CVS
31 to allow the whole developer community to add their wizardly insight to
34 <strong>The document is still far from being complete - help it
37 <h2>Before the Show Begins</h2>
40 <li><a href="feedback.html">Feedback</a>
41 <li><a href="others.html">Other Sources of Wisdom</a>
47 <li><a href="genesis/genesis.html">Outline of the Genesis</a>
48 <li><a href="genesis/makefiles.html">Mindboggling Makefiles</a>
49 <li><a href="genesis/modules.html">GHC's Marvellous Module Structure</a>
52 <h2>The Beast Dissected</h2>
55 <li><a href="the-beast/coding-style.html">Coding style used in
57 <li><a href="the-beast/driver.html">The Glorious Driver</a>
58 <li><a href="the-beast/prelude.html">Primitives and the Prelude</a>
59 <li><a href="the-beast/syntax.html">Just Syntax</a>
60 <li><a href="the-beast/basicTypes.html">The Basics</a>
61 <li><a href="the-beast/modules.html">Modules, ModuleNames and
63 <li><a href="the-beast/names.html">The truth about names: Names and OccNames</a>
64 <li><a href="the-beast/vars.html">The Real Story about Variables, Ids,
65 TyVars, and the like</a>
66 <li><a href="the-beast/data-types.html">Data types and constructors</a>
67 <li><a href="the-beast/renamer.html">The Glorious Renamer</a>
68 <li><a href="the-beast/typecheck.html">Checking Types</a>
69 <li><a href="the-beast/desugar.html">Sugar Free: From Haskell To Core</a>
70 <li><a href="the-beast/simplifier.html">The Mighty Simplifier</a>
71 <li><a href="the-beast/mangler.html">The Evil Mangler</a>
72 <li><a href="the-beast/alien.html">Alien Functions</a>
73 <li><a href="the-beast/ncg.html">The Native Code Generator</a>
74 <li><a href="the-beast/ghci.html">GHCi</a>
75 <li><a href="the-beast/fexport.html">Implementation of
76 <code>foreign export</code></a>
77 <li><a href="the-beast/main.html">Compiling and running the Main module</code></a>
80 <h2>RTS & Libraries</h2>
83 <li><a href="rts-libs/coding-style.html">Coding Style Guidelines</a>
84 <li><a href="rts-libs/stgc.html">Spineless Tagless C</a>
85 <li><a href="rts-libs/primitives.html">Primitives</a>
86 <li><a href="rts-libs/prelfound.html">Prelude Foundations</a>
87 <li><a href="rts-libs/prelude.html">Cunning Prelude Code</a>
88 <li><a href="rts-libs/foreignptr.html">On why we have <tt>ForeignPtr</tt></a>
89 <li><a href="rts-libs/non-blocking.html">Non-blocking I/O for Win32</a>
90 <li><a href="rts-libs/multi-thread.html">Supporting multi-threaded interoperation</a>
93 <h2>Extensions, or Making a Complicated System More Complicated</h2>
96 <li><a href="exts/th.html">Template Haskell</a>
97 <li><a href="exts/ndp.html">Parallel Arrays</a>
102 The online master copy of the Commentary is at
104 <a href="http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/">http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/</a>
107 This online version is updated
109 href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/docs/comm/">from
115 Last modified: Sat Sep 13 01:15:05 BST 2003