Changes between Version 1 and Version 2 of Commentary/Compiler/HscMain

Timestamp:

09/07/06 09:02:30 (7 years ago)

Author:

simonpj

Comment:

--

Commentary/Compiler/HscMain

@@ -1 +1 @@
 [ Up: [wiki:Commentary] ]
 
-= Compiling one module: HscMain =
+= Compiling one module: !HscMain =
 
 Here we are going to look at the compilation of a single module.
@@ -11 +11 @@
 
  * {{{HsSyn}}} is parameterised over the types of the variables it contains.  The first three passes of the compiler work like this:
-   * The '''parser''' produces {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/RdrName {{{RdrName}}].  To a first approximation, a {{{RdrName}}} is just a string.
-   * The '''renamer''' transforms this to {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/Name {{{Name}}].  To a first appoximation, a {{{Name}}} is a string plus a {{{Unique}}} (number) that uniquely identifies it.
-   * The '''typechecker''' transforms this further, to {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/Id {{{Id}}].  To a first approximation, an {{{Id}}} is a {{{Name}}} plus a type.
+   * The '''parser''' produces {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/RdrNameType {{{RdrName}}].  To a first approximation, a {{{RdrName}}} is just a string.
+   * The '''renamer''' transforms this to {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/NameType {{{Name}}].  To a first appoximation, a {{{Name}}} is a string plus a {{{Unique}}} (number) that uniquely identifies it.
+   * The '''typechecker''' transforms this further, to {{{HsSyn}}} parameterised by [wiki:Commentary/Compiler/IdType {{{Id}}].  To a first approximation, an {{{Id}}} is a {{{Name}}} plus a type.
  These three data types are very important, and have their own pages.