[GHC] #10943: Suggest PatternSynonyms
#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
#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by simonpj): Good idea. Should not be hard for a newcomer. Would someone like to tackle this? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Changes (by nomeata): * keywords: => newcomer -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: cocreature Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by cocreature): * owner: => cocreature -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10943: Suggest PatternSynonyms
-------------------------------------+-------------------------------------
Reporter: rwbarton | Owner: cocreature
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.1
Resolution: | Keywords: newcomer
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema
#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: cocreature Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | parser/should_fail/NoPatternSynonyms Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1347 Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => parser/should_fail/NoPatternSynonyms * differential: => Phab:D1347 * milestone: => 8.0.1 Comment: Great patch cocreature. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10943: Suggest PatternSynonyms -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: cocreature Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | parser/should_fail/NoPatternSynonyms Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1347 Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10943#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC