#12791: Superclass methods could be more aggressively specialised. -------------------------------------+------------------------------------- Reporter: mpickering | Owner: danharaj Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2714 Wiki Page: | -------------------------------------+------------------------------------- Comment (by ryantrinkle): I'm afraid it's my fault that these things have gotten mixed up. I asked Dan to look into this stuff in the hope that it would give some benefit in the Reflex case, but he found today that it doesn't quite fit. You're absolutely right that the Writer case is still useful. You're absolutely right about putting specialization under separate tickets, and we'll be doing that if we find anything in that vein. In the mean time, if Dan's work so far helps in the MonadWriter case, we'll try to get that wrapped up for this ticket soon. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12791#comment:24 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler