#9226: Internal error when using equality constraint in pattern synonyms -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: renamer, pattern Operating System: Linux | synonyms, GADTs Type of failure: GHC rejects | Architecture: x86 valid program | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8968 -------------------------------------+------------------------------------- Changes (by kosmikus): * related: => #8968 Comment: Also see #8968 for my own experiences trying to use pattern synonyms for GADTs and lots of discussion. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9226#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler