Changes between Version 69 and Version 70 of Records/OverloadedRecordFields/Implementation
- Sep 20, 2013 3:57:33 PM (18 months ago)
v69 v70 261 261 * 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. 262 262 * 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`?