Changes between Version 8 and Version 9 of Commentary/Compiler/RdrNameType


Ignore:
Timestamp:
Sep 14, 2006 6:33:36 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/RdrNameType

    v8 v9  
    6464}}} 
    6565 
     66 
     67Attaching the names to their name spaces makes it very convenient to build mappings from names to things; where such a mapping might contain two strings that are identical, they can be distinguished by the name space, so when mapping {{{OccName}}}s, a single map suffices.