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


Ignore:
Timestamp:
Aug 29, 2013 2:29:28 PM (2 years 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.