Changes between Version 69 and Version 70 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Sep 20, 2013 3:57:33 PM (7 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v69 v70  
    261261* 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. 
    262262* We could add `HsVarOut RdrName id` instead of `HsSingleRecFld` (or perhaps rename `HsVar` to `HsVarIn`). This would also be useful to recall how the user referred to something. 
    263 * Add syntax for record projection, perhaps using # since it shouldn't conflict with `MagicHash`? When we have explicit type application, one might be able to use `field @"foo"` or `getField @"foo"`. Document the options. 
     263* Add syntax for record projection, perhaps using # since it shouldn't conflict with `MagicHash`?