diff options
| author | Adam Gundry <adam@well-typed.com> | 2017-02-14 09:53:28 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-14 10:53:01 -0500 |
| commit | da493897ac6ee2b17a0c58b51315f9d136de730d (patch) | |
| tree | 08e13ee790290eada30f1ff1c7d1a2cae9f9d69b /testsuite/tests/ghci/scripts/T4175.stdout | |
| parent | c3bbd1afc85cd634d8d26e27bafb92cc7481667b (diff) | |
| download | haskell-da493897ac6ee2b17a0c58b51315f9d136de730d.tar.gz | |
Implement HasField constraint solving and modify OverloadedLabels
This implements automatic constraint solving for the new HasField class
and modifies the existing OverloadedLabels extension, as described in
the GHC proposal
(https://github.com/ghc-proposals/ghc-proposals/pull/6). Per the current
form of the proposal, it does *not* currently introduce a separate
`OverloadedRecordFields` extension.
This replaces D1687.
The users guide documentation still needs to be written, but I'll do
that after the implementation is merged, in case there are further
design changes.
Test Plan: new and modified tests in overloadedrecflds
Reviewers: simonpj, goldfire, dfeuer, bgamari, austin, hvr
Reviewed By: bgamari
Subscribers: maninalift, dfeuer, ysangkok, thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D2708
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
0 files changed, 0 insertions, 0 deletions