[GHC] #14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Keywords: type error | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In section Associated pattern synonyms on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms is written class ListLike l where pattern Nil :: l a pattern Cons :: a -> l a -> a isNil :: l a -> Bool isNil Nil = True isNil (Cons _ _) = False yet should Cons not have signature pattern Cons :: a -> l a -> l a append :: l a -> l a -> l a -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Resolution: | Keywords: type error Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by pjljvdlaar: Old description:
In section Associated pattern synonyms on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms is written
class ListLike l where pattern Nil :: l a pattern Cons :: a -> l a -> a isNil :: l a -> Bool isNil Nil = True isNil (Cons _ _) = False
yet should Cons not have signature
pattern Cons :: a -> l a -> l a
append :: l a -> l a -> l a
New description: In section Associated pattern synonyms on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms is written {{{ class ListLike l where pattern Nil :: l a pattern Cons :: a -> l a -> a isNil :: l a -> Bool isNil Nil = True isNil (Cons _ _) = False }}} yet should Cons not have signature {{{ pattern Cons :: a -> l a -> l a }}} -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Resolution: | Keywords: type error, | newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: type error => type error, newcomer Comment: Indeed. Do note that you can edit the wiki yourself (by clicking "Edit this page" at the bottom), so it should be quite straightforward to fix this! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Resolution: | Keywords: type error, | newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by pjljvdlaar): indeed: easy to change... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: pjljvdlaar Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Resolution: | Keywords: type error, | newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by pjljvdlaar): * owner: (none) => pjljvdlaar -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14560: Typo in example on https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: pjljvdlaar Type: bug | Status: closed Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 Resolution: fixed | Keywords: type error, | newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by pjljvdlaar): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14560#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC