Changes between Version 4 and Version 5 of Commentary/Compiler/HscMain


Ignore:
Timestamp:
Sep 8, 2006 11:15:59 AM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/HscMain

    v4 v5  
    1111
    1212 * {{{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.
    1414   * 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.
    1515   * 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.