#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | -------------------------------------+------------------------------------- If I try to compile a pattern type signature like {{{ pattern P :: G Int }}} without having enabled `PatternSynonyms` then I get the error {{{ Pat.hs:8:1: Invalid type signature: pattern P :: G Int Should be of form <variable> :: <type> }}} We could easily work out to suggest that the user enable `PatternSynonyms` here. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler