[GHC] #15534: Allow associated types in Minimal pragmas

[GHC]

#15534: Allow associated types in Minimal pragmas
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler          |              Version:  8.4.3
      Resolution:                    |             Keywords:
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 simonpj):

 > Achieving this in today's GHC is challenging, since the code for
 reporting warnings for missing associated types lives in tcATDefault,
 whereas the code for reporting warnings for missing methods lives in
 tcMethods.

 I rather think that both should be done in `checkValidClass`.  Which would
 make it much easier to do what you want here.

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