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


Ignore:
Timestamp:
Aug 7, 2013 4:45:51 PM (2 years 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.