#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