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


Ignore:
Timestamp:
Sep 8, 2006 11:17:13 AM (8 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.