#10715: Possible regression in Coercible a (X a) between 7.8 and 7.10 -------------------------------------+------------------------------------- Reporter: inaki | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * owner: => goldfire Comment: In response to comment:5: Despite appearances to the contrary, `Coercible` is '''not''' a class. It is much more a special operator, right along the lines of `~`. (Historical note: when we started developing the idea that became `Coercible`, we thought it would indeed be a normal class, but with compiler-generated instances. And it started life that way. But when pushed, the limitations of the class-based solver became too much, and so `Coercible` evolved. The code in GHC that solves `Coercible` constraints is closely tied to solving of normal equality constraints, and not at all related to the code that solves class constraints.) Perhaps the user manual should be updated to reflect this fact about `Coercible`. Regardless of the solution we settle on, this is in my area, so I'll adopt the ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10715#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler