[commit: ghc] master: Treat all TyCon with hole names as skolem abstract. (9603de6)

Mon Feb 27 00:03:42 UTC 2017

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6/ghc

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

commit 9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Fri Feb 24 15:58:09 2017 -0800

    Treat all TyCon with hole names as skolem abstract.

    Summary:
    Fixes #13335.

    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>

    Test Plan: validate

    Reviewers: goldfire, austin, simonpj, bgamari

    Subscribers: thomie

    Differential Revision: https://phabricator.haskell.org/D3211

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

9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6
 compiler/backpack/RnModIface.hs                    |   2 +-
 compiler/iface/IfaceSyn.hs                         |  19 ++-
 compiler/iface/MkIface.hs                          |   2 +-
 compiler/iface/TcIface.hs                          |   4 +-
 compiler/typecheck/TcCanonical.hs                  |   4 +-
 compiler/typecheck/TcRnDriver.hs                   |   7 +-
 compiler/typecheck/TcTyClsDecls.hs                 |   9 +-
 compiler/types/TyCon.hs                            | 129 +++++++++------------
 .../tests/backpack/should_fail/bkpfail10.stderr    |   2 +-
 .../tests/backpack/should_fail/bkpfail23.stderr    |   2 +-
 .../tests/backpack/should_fail/bkpfail25.stderr    |   2 +-
 .../tests/backpack/should_fail/bkpfail26.stderr    |   2 +-
 .../tests/backpack/should_fail/bkpfail27.stderr    |   2 +-
 testsuite/tests/roles/should_fail/Roles12.stderr   |   2 +-
 testsuite/tests/roles/should_fail/T9204.stderr     |   2 +-
 .../tests/typecheck/should_fail/T12035.stderr      |   2 +-
 .../tests/typecheck/should_fail/T12035j.stderr     |   2 +-
 testsuite/tests/typecheck/should_fail/T3468.stderr |   2 +-
 18 files changed, 84 insertions(+), 112 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 9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6