Changes between Version 55 and Version 56 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 29, 2013 2:29:28 PM (18 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v55 v56  
    233233 
    234234* typechecker/should_fail/tcfail102 (changed error message) 
    235 * Use of `PolyKinds` leads to `Upd` and `SetResult` instances that don't typecheck. 
    236235 
    237236 
    238237== To do == 
    239238 
    240 * With fundep in class, we don't need it in the instance. 
    241 * When there is only one thing in scope, don't do make it polymorphic (but document trade-offs). But maybe it should still support lenses? 
     239* When there is only one thing in scope, what should we do? 
    242240* Add `HsVarOut RdrName id` instead of `HsSingleRecFld` (or perhaps rename `HsVar` to `HsVarIn`); also useful to recall how the user referred to something. 
    243241 
    244 * Support virtual fields or forbid them. 
     242* Support virtual fields or forbid them? 
    245243* Sort out reporting of unused imports. 
    246 * Haddock prints selector names in index and LaTeX exports list. 
     244* Haddock omits fields from HTML index and prints selector names in LaTeX exports list. 
    247245* What's going on with deprecations and fixity decls? 
    248246 
     
    251249* Consider defaulting `Accessor p` to `p = (->)`, and defaulting `Has r "f" t` constraints where there is only one datatype with a field `f` in scope. 
    252250 
    253 * Document the extension, including new warnings. 
     251* Document the extension.