[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:
      Resolution:                    |  TypeCheckerPlugins
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):

 > Perhaps I'm misunderstanding something

 I didn't express it very clearly.  As it stands, the Given CFunEqCan's
 remain, and hence so do the fsks.  The Wanted CFunEqCans are removed
 (currently) along with the fmvs.

 So yes, currently Wanteds can contain fsks, whose definition is given by a
 CFunEqCan.  I would have thought that most plugins would not find it hard
 to deal with that.

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