#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