[GHC] #10900: Suggestions for improvement of the PatternSynonyms chapter in the User's Guide

[GHC]

#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 Rev(s):
-------------------------------------+-------------------------------------

Comment (by mpickering):

 >> so function f is rejected because the type signature is Maybe
 > I tried this example, and f is not rejected at all. Bug?

 I'm working through this now, if you add the type signature it suggests
 then it does fail to compile. However, the most general type works fine
 which I imagine is what you discovered.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10900#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler