#8968: Pattern synonyms and GADTs ----------------------------------------------+---------------------------- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: Resolution: | 7.8.1-rc2 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"50bfd4219157473fac47c70993fc2023a162a7f3/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="50bfd4219157473fac47c70993fc2023a162a7f3" Improve error reporting for untouchable type variables This change adds a suggestion Possible fix: add a type signature for ‘f’ when we have a GADT-style definition with a type we can't figure out. See Note [Suggest adding a type signature] in TcErrors. This initially came up in the discussion of Trac #8968. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8968#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler