[GHC] #15147: Type checker plugin receives Wanteds that are not completely unflattened

[GHC]

#15147: Type checker plugin receives Wanteds that are not completely unflattened
-------------------------------------+-------------------------------------
        Reporter:  nfrisby           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler (Type    |              Version:  8.4.1
  checker)                           |             Keywords:  type checker
      Resolution:                    |  plugins
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 nfrisby):

 Actually, I'm starting to suspect that my plugin would be best off if GHC
 neither unflattened nor zonked the wanteds before invoking the plugin.
 Does that sound unreasonable? If not, let me know and I'll try to prepare
 a feature request ticket. Perhaps we could add an option to the API for a
 plugin to request that sort of treatment. Thanks.

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