[commit: ghc] wip/T15809: More progress on tcFamTyPats (e547695)

[git at git.haskell.org]

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

On branch  : wip/T15809
Link       : http://ghc.haskell.org/trac/ghc/changeset/e5476950bdc82da3124f06dc9f099c2b61527542/ghc

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

commit e5476950bdc82da3124f06dc9f099c2b61527542
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Nov 12 17:21:55 2018 +0000

    More progress on tcFamTyPats
    
    This fixes Trac #15740


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

e5476950bdc82da3124f06dc9f099c2b61527542
 compiler/typecheck/TcHsType.hs          | 26 ++++++++++-------
 compiler/typecheck/TcMType.hs           |  4 +--
 compiler/typecheck/TcTyClsDecls.hs      | 51 +++++++++++++++++++++++++++------
 compiler/typecheck/TcValidity.hs        | 23 ++++++++-------
 testsuite/tests/polykinds/T13985.stderr | 10 ++-----
 testsuite/tests/polykinds/T15740.hs     | 15 ++++++++++
 testsuite/tests/polykinds/T15740.stderr |  6 ++++
 testsuite/tests/polykinds/T15740a.hs    | 12 ++++++++
 testsuite/tests/polykinds/all.T         |  2 ++
 9 files changed, 109 insertions(+), 40 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 e5476950bdc82da3124f06dc9f099c2b61527542