#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