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

[git at git.haskell.org]

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

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

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

commit 196b4a0b5713a1c32e3bff1ebc385062d1876dd5
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


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

196b4a0b5713a1c32e3bff1ebc385062d1876dd5
 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 196b4a0b5713a1c32e3bff1ebc385062d1876dd5