#10642: Coercible regression from 7.10 to HEAD -------------------------------------+------------------------------------- Reporter: darchon | Owner: goldfire Type: bug | Status: closed Priority: highest | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | typecheck/should_compile/T10642 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by rwbarton): I know it wasn't the point of the ticket, but I'm surprised that the derived instance for Bounded (a Haskell 2010-derivable class) uses coerce rather than just using the data constructor D. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10642#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler