Changes between Version 5 and Version 6 of Commentary/Compiler/NameType


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NameType

    v5 v6  
    1313}}}
    1414 * The {{{n_sort}}} field says what sort of name this is: see [wiki:#NameSort] below.
    15  * The {{{n_occ}}} field gives the "occurrence name", or '''[wiki:Commentary/Compiler/RdrName#TheOccNametype OccName]''', of the Name.
     15 * The {{{n_occ}}} field gives the "occurrence name", or '''[wiki:Commentary/Compiler/RdrNameType#TheOccNametype OccName]''', of the Name.
    1616 * The {{{n_uniq}}} field allows fast tests for equality of Names.
    1717 * The {{{n_loc}}} field gives some indication of where the name was bound.