#11010: Untouchable type, pattern synonyms ---------------------------------+------------------------------ Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ---------------------------------+------------------------------ Comment (by simonpj): The signatures are plain wrong. See comment:5 of #10928. In both signatures, the response should be 'a' is not in scope in the constraint `(a ~ Int)`. It's in the "required" position but mentions an existential variable. I think we should reverse the provided/required order, as descried in #10928, and do it for 8.0. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11010#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler