Changes between Version 30 and Version 31 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 8, 2013 9:27:54 AM (2 years ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v30 v31  
    180180* ghci/prog002 prog003 scripts/ghci029 ghci036 ghci037 (scope issues in GHCi)
    181181* typechecker/should_fail/tcfail102 (changed error message)
     182* driver/T4437 (should OverloadedRecordFields be a GHC-only extension, or should Cabal know about it?)
    182183
    183184
    184185== To do ==
    185186
    186 * Test type-changing update.
    187187* Test data families with fields.
    188188* Sort out GADT record updates.
    189 * Test the interaction between fields and qualified names: a qualified name can be used for unambiguous identification of fields (e.g. in updates) but should probably not be used as an overloaded variable.
     189* Fix the interaction between fields and qualified names: a qualified name can be used for unambiguous identification of fields (e.g. in updates) but should not be used as an overloaded variable.
    190190* Improve error messages from typechecker:
    191191  * Unsolved `Accessor p f` where `p` is something silly