[GHC] #12165: Multiple pattern type signatures accepted
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: GHC accepts Unknown/Multiple | invalid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This hogwash is accepted: {{{ pattern P :: a -> b -> Maybe (a,b) pattern P :: foo => bar => blah -> urgh pattern P x y = Just (x, y) }}} A little experimentation shows that only the first pattern signature is examined. Others are accepted and ignored. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * keywords: PatternSynonyms => PatternSynonyms, newcomer -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: kgupta Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by kgupta): * owner: => kgupta Comment: I would like to try to work on fixing this bug. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: seraphime Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2361 Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * owner: kgupta => seraphime * differential: => Phab:D2361 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: seraphime Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2361 Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): It has already been fixed sorry. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner: seraphime
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: | Keywords:
| PatternSynonyms, newcomer
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC accepts | Unknown/Multiple
invalid program | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D2361
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: seraphime Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2361 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => merge * milestone: => 8.0.2 Comment: Merged. Perhaps it would be worth trying to merge this to 8.0.2. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12165: Multiple pattern type signatures accepted -------------------------------------+------------------------------------- Reporter: goldfire | Owner: seraphime Type: bug | Status: closed Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Resolution: fixed | Keywords: | PatternSynonyms, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2361 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * version: 8.0.1 => 8.1 * resolution: => fixed * milestone: 8.0.2 => 8.2.1 Comment: Never mind; #11727 (which allows multiple signatures to begin with) wasn't yet fixed in 8.0.1 so this issue isn't even present. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12165#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC