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


Ignore:
Timestamp:
Sep 11, 2007 9:10:24 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Renamer

    v5 v6  
    5151}}}
    5252Here is how to understand these types:
    53  * The environment maps an {{{OccName}}} to a list of all entities with that occurence name that are in scope (in any way). 
     53 * The environment (`GlobalRdrEnv`) maps an {{{OccName}}} to a list of all entities with that occurence name that are in scope (in any way). 
    5454 * Each of these is represented by a {{{GlobalRdrElt}}}, which gives the entity's {{{Name}}} plus a specification of how it is in scope, its {{{Provenance}}}. 
    5555 * The {{{Provenance}}} has one of two forms.  Either it is in scope because it is defined in this module ({{{LocalDef}}}), or because it is imported.  In the latter case, the {{{[ImportSpec]}}} describes all the import statements that bring it into scope.