[GHC] #10891: `reify` doesn't find associated type families

[GHC]

#10891: `reify` doesn't find associated type families
-------------------------------------+-------------------------------------
        Reporter:  antalsz           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  8.0.1
       Component:  Template Haskell  |                 Version:  7.10.2
      Resolution:                    |                Keywords:  type
                                     |  families; newcomer
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by osa1):

 Another question: Normally we don't fill `InstanceD` contents, probably
 because we can't anyway -- because we need source code for this, right?
 But we can still fill information about associated type instances. Should
 we do this or are there any problems with that? (maybe it's not possible
 etc.)

 (By `InstanceD` I mean the one generated for `ClassI`)

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10891#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler