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


Ignore:
Timestamp:
Sep 8, 2006 4:45:56 PM (8 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.