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

Timestamp:

09/08/06 09:45:56 (7 years ago)

Author:

simonpj

Comment:

--

Commentary/Compiler/NameType

@@ -12 +12 @@
           }
 }}}
- * The {{{n_sort}}} field says what sort of name this is: see [wiki:#NameSort] below. 
+ * The {{{n_sort}}} field says what sort of name this is: see '''[wiki:Commentary/Compiler/NameType#TheNameSortofaName NameSort]''' below. 
  * The {{{n_occ}}} field gives the "occurrence name", or '''[wiki:Commentary/Compiler/RdrNameType#TheOccNametype OccName]''', of the Name.
  * The {{{n_uniq}}} field allows fast tests for equality of Names.