Changes between Version 49 and Version 50 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 23, 2013 12:52:00 PM (21 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v49 v50  
    264264== To do == 
    265265 
    266 * It'd be possible for associated types to have type parameters that are an *instance of* the class header.  Feature request! 
    267266* With fundep in class, we don't need it in the instance. 
    268267* Always mangle selector names (for simplicity)? 
     
    270269  * Trouble with deriving instances in GHC.Generics (makes up un-renamed syntax using field `RdrName`s) 
    271270  * Sort out impedance mismatch with boot files 
    272 * Minimise contents of `AvailInfo` (preferably just a list of field `OccName`s): use `newGlobalBinder` to lookup cached mangled names for selectors and pieces 
     271* Minimise contents of `AvailInfo` (preferably just a list of field `OccName`s?): use `newGlobalBinder` or `lookupOrig` to lookup cached mangled names for selectors and pieces 
    273272 
    274273* Sort out reporting of unused imports. 
    275274* Make instances available to GHCi. 
    276 * Fix Haddock. 
     275* Haddock prints selector names in index and LaTeX exports list 
    277276 
    278277* Consider syntactic sugar for `Upd` constraints.