#10900: Suggestions for improvement of the PatternSynonyms chapter in the User's Guide -------------------------------------+------------------------------------- Reporter: thomie | Owner: mpickering Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.10.2 Resolution: | Keywords: | PatternSynonms Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by mpickering): * owner: => mpickering Comment: Thanks Thomas for the notes. I think much of the confusion around *pattern* synonyms is that the pattern part is (now) only a small part of what they are. A perhaps nicer way to think about them is as normal data constructors but not attached to a specific type like normal data constructors. After declaring a bidirectional synonym {{{ pattern P x = [x] }}} then `P` should behave (nearly) exactly like a data constructor but instead of constructing some type `Q`, constructs lists. I will try to improve this section whilst working on D1152. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10900#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler