Changes between Version 9 and Version 10 of Commentary/Compiler/Renamer


Ignore:
Timestamp:
May 9, 2011 8:39:24 PM (4 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Renamer

    v9 v10  
    9292newLocalsRn     :: [Located RdrName] -> RnM [Name]
    9393}}}
    94 The two functions introduces new toplevel and new local names, respectively, where the first two arguments to newTopSrcBinder determine the currently compiled module and the parent construct of the newly defined name. Both functions create new names only for RdrNames that are neither exact nor original.
     94The two functions introduces new toplevel and new local names, respectively, where the first two arguments to newTopSrcBinder determine the currently compiled module and the parent construct of the newly defined name. Both functions create new names only for [wiki:Commentary/Compiler/RdrNameType RdrNames] that are neither exact nor original.
    9595
    9696== Rebindable syntax ==