#14462: deriving on associated data types fails to find constraints -------------------------------------+------------------------------------- Reporter: mf825 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.2.1 checker) | Keywords: TypeFamilies, Resolution: | associated types, deriving 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 mf825): thanks for the quick feedback! i guess what confused me was my assumption that the instance decl context should be also the context of the data decl, but perhaps there is some good reason not to have that. sorry, my mistake. please close this issue. cheers! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14462#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler