Changes between Version 7 and Version 8 of Commentary/Compiler/Renamer


Ignore:
Timestamp:
Jul 6, 2009 10:44:39 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Renamer

    v7 v8  
    8181It is important to note that the global rdr-env is created  ''before'' the renamer actually descends into the top=level bindings of a module. In other words, before {{{TcRnDriver.rnTopSrcDecls}}} performs the renaming of a module by way of {{{RnSource.rnSrcDecls}}}, it uses {{{RnNames.importsFromLocalDecls}}} to set up the global rdr-env environment, which contains {{{Names}}} for all imported and all locally defined toplevel binders.  Hence, when the helpers of {{{rnSrcDecls}}} come across the defining occurences of a toplevel {{{RdrName}}}, they don't rename it by generating a new name, but they simply look up its name in the global rdr-env.
    8282
     83== Unused imports ==
     84
     85See [wiki:Commentary/Compiler/UnusedImports how the renamer reports unused imports]
     86
    8387== Name Space Management ==
    8488