[GHC] #9161: Pattern synonyms interact badly with data kinds

[GHC]

#9161: Pattern synonyms interact badly with data kinds
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |            Owner:  cactus
            Type:  bug               |           Status:  merge
        Priority:  lowest            |        Milestone:
       Component:  Compiler (Type    |          Version:  7.8.2
  checker)                           |         Keywords:  renamer, pattern
      Resolution:                    |  synonyms, data kinds
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  Compile-time      |       Difficulty:  Unknown
  crash                              |       Blocked By:
       Test Case:                    |  Related Tickets:
        Blocking:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 The actual commit is
 {{{
 commit aa3166f42361cb605e046f4a063be3f9e1f48015
 Author: Dr. ERDI Gergo <gergo at erdi.hu>
 Date:   Sat Jun 21 22:37:50 2014 +0800

     Add fake entries into the global kind environment for pattern
 synonyms.

     This is needed to give meaningful error messages (instead of internal
     panics) when a program tries to lift a pattern synonym into a kind.
     (fixes T9161)


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

 aa3166f42361cb605e046f4a063be3f9e1f48015
  compiler/typecheck/TcBinds.lhs                    | 23
 ++++++++++++++++-------
  compiler/typecheck/TcHsType.lhs                   |  1 -
  testsuite/tests/patsyn/should_fail/T9161-1.hs     |  7 +++++++
  testsuite/tests/patsyn/should_fail/T9161-1.stderr |  4 ++++
  testsuite/tests/patsyn/should_fail/T9161-2.hs     |  9 +++++++++
  testsuite/tests/patsyn/should_fail/T9161-2.stderr |  5 +++++
  testsuite/tests/patsyn/should_fail/all.T          |  2 ++
  7 files changed, 43 insertions(+), 8 deletions(-)
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9161#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler