Changes between Version 28 and Version 29 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 7, 2013 3:42:22 PM (9 months ago)
Author:
adamgundry
Comment:

to do

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v28 v29  
    185185 
    186186* Test type-changing update. 
     187* Test data families with fields. 
    187188* Sort out GADT record updates. 
    188189* 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 * Universally quantified variables in field types should result in no Has instance being generated. 
    190190* Improve error messages from typechecker: 
    191191  * Unsolved `Accessor p f` where `p` is something silly 
    192192  * Unsolved `Has R "x" t` where `R` has a quantified variable in the type of the field "x" 
     193  * Unsolved `Has` or `Upd` when the extension is disabled 
    193194* 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. 
    194195* Sort out reporting of unused imports. 
    195  
    196 == Queries == 
    197  
    198196* How should dfunids/axioms and instances be propagated? 
    199197* Where should automatic instances be generated for GHCi?