#14728: Is (GeneralizedNewtypeDeriving + associated type classes) completely bogus? -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.2.2 checker) | Keywords: deriving, Resolution: | TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Replying to [comment:6 goldfire]:
Good about generating Core for type instances. Then this is all doable today.
That's great! I can't claim to know where to proceed from here, though—the details of pushing this cast through axioms is still quite fuzzy to me. Is this blocked (at least partially) on getting your branch merged and/or fixing #14729? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14728#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler