[GHC] #14462: deriving on associated data types fails to find constraints

[GHC]

#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