[GHC] #12650: Too many warnigns about consistentCafInfo

[GHC]

#12650: Too many warnigns about consistentCafInfo
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      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 mpickering):

 I looked at this a little bit this morning but I don't understand this
 part of the compiler well enough.

 Looking at the assertion code, it seems that `binding_is_caffy` is the
 truth about the binding and we are checking that it agrees with what
 we predicted earlier.

 1. Why is this property checked at all?
 2. Why it is predicted in CorePrep rather than discovered in CoreToStg?
 3. How involved would it be to implement the suggestion in comment:1?

 I also observed this with a dictionary like Joachim did in the original
 example so perhaps there is something slightly wrong with the analysis of
 dictionaries.

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