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


Ignore:
Timestamp:
Sep 8, 2006 4:45:56 PM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NameType

    v6 v7  
    1212          }
    1313}}}
    14  * The {{{n_sort}}} field says what sort of name this is: see [wiki:#NameSort] below.
     14 * The {{{n_sort}}} field says what sort of name this is: see '''[wiki:Commentary/Compiler/NameType#TheNameSortofaName NameSort]''' below.
    1515 * 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.