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


Ignore:
Timestamp:
Aug 23, 2013 12:52:00 PM (2 years 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.