#14332: Deriving clauses can have forall types -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: | Keywords: deriving 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: | -------------------------------------+------------------------------------- Comment (by simonpj):
Ryan, might you be able to do this?
I meant less than you think! I think. In comment:14 I say that GHC is behaving right. We just need * Document the behaviour and rationale in the user manual. * Make it work without requirinng extra parens (this is mostly just syuntax I think * Add an example in the manual along the lines of the second example. In short, virtually no implementation, just documentation. You seem to think I'm asking for something subtle in the implementationn, but I'm not. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14332#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler