#9226: Internal error when using equality constraint in pattern synonyms -------------------------------------+------------------------------------- Reporter: | Owner: Iceland_jack | Status: closed Type: bug | Milestone: Priority: lowest | Version: 7.8.2 Component: Compiler | Keywords: renamer, Resolution: duplicate | PatternSynonyms, GADTs Operating System: Linux | Architecture: x86 Type of failure: GHC | Difficulty: Unknown rejects valid program | Blocked By: Test Case: | Related Tickets: #8968 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * keywords: renamer, pattern synonyms, GADTs => renamer, PatternSynonyms, GADTs -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9226#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler