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


Ignore:
Timestamp:
Aug 7, 2013 4:45:51 PM (9 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v29 v30  
    190190* Improve error messages from typechecker: 
    191191  * Unsolved `Accessor p f` where `p` is something silly 
    192   * 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 
    194192* 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. 
    195193* Sort out reporting of unused imports.