#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