Changes between Version 4 and Version 5 of Commentary/Compiler/HscMain
- Timestamp:
- 09/08/06 04:15:59 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/HscMain
v4 v5 11 11 12 12 * {{{HsSyn}}} is parameterised over the types of the variables it contains. The first three passes of the compiler work like this: 13 * The '''parser''' produces {{{HsSyn}}} parameterised by '''[wiki:Commentary/Compiler/RdrNameType !RdrName]'''. To a first approximation, a {{{RdrName}}} is just a string.13 * The '''parser''' produces {{{HsSyn}}} parameterised by '''[wiki:Commentary/Compiler/RdrNameType RdrName]'''. To a first approximation, a {{{RdrName}}} is just a string. 14 14 * 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. 15 15 * 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.
