[commit: ghc] wip/orf-2017: Add HasField class with magic constraint solving (f21526f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/orf-2017
Link       : http://ghc.haskell.org/trac/ghc/changeset/f21526f48734b1a45eb5ccf7925376c91b1940f4/ghc

>---------------------------------------------------------------

commit f21526f48734b1a45eb5ccf7925376c91b1940f4
Author: Adam Gundry <adam at well-typed.com>
Date:   Fri Nov 18 15:54:02 2016 +0000

    Add HasField class with magic constraint solving


>---------------------------------------------------------------

f21526f48734b1a45eb5ccf7925376c91b1940f4
 compiler/basicTypes/DataCon.hs                     |  14 ++-
 compiler/basicTypes/RdrName.hs                     |  31 +++--
 compiler/deSugar/DsBinds.hs                        |   4 +
 compiler/prelude/PrelNames.hs                      |  16 +++
 compiler/rename/RnPat.hs                           |  15 +--
 compiler/typecheck/TcEvidence.hs                   |   7 ++
 compiler/typecheck/TcHsSyn.hs                      |   5 +
 compiler/typecheck/TcInteract.hs                   | 127 ++++++++++++++++++++-
 compiler/typecheck/TcSMonad.hs                     |  19 ++-
 compiler/typecheck/TcValidity.hs                   |  44 +++++++
 compiler/types/TyCon.hs                            |   5 +-
 compiler/utils/FastStringEnv.hs                    |   5 +-
 libraries/base/GHC/Records.hs                      |  34 ++++++
 libraries/base/base.cabal                          |   1 +
 testsuite/driver/extra_files.py                    |   1 +
 .../should_fail/HasFieldFail01_A.hs                |   3 +
 .../tests/overloadedrecflds/should_fail/all.T      |   5 +
 .../should_fail/hasfieldfail01.hs                  |   9 ++
 .../should_fail/hasfieldfail01.stderr              |  11 ++
 .../should_fail/hasfieldfail02.hs                  |  16 +++
 .../should_fail/hasfieldfail02.stderr              |  13 +++
 .../should_fail/hasfieldfail03.hs                  |  39 +++++++
 .../should_fail/hasfieldfail03.stderr              |  21 ++++
 testsuite/tests/overloadedrecflds/should_run/all.T |   2 +
 .../overloadedrecflds/should_run/hasfieldrun01.hs  |  51 +++++++++
 .../should_run/hasfieldrun01.stdout                |   8 ++
 .../overloadedrecflds/should_run/hasfieldrun02.hs  |  16 +++
 ...dedrecfldsrun06.stdout => hasfieldrun02.stdout} |   0
 28 files changed, 496 insertions(+), 26 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc f21526f48734b1a45eb5ccf7925376c91b1940f4