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

[GHC]

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

 * cc: cactus (added)
 * owner:   => cactus


Comment:

 Probably we should not promote pattern synonyms to the type level, so the
 program should be rejected with "you can't use a pattern synonym as a
 type, even with !DataKinds" error.

 Gergo might you look at this?

 Simon

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