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


Ignore:
Timestamp:
Aug 7, 2013 3:42:22 PM (2 years 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?