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


Ignore:
Timestamp:
Aug 8, 2013 9:27:54 AM (8 months 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