[GHC] #12650: Too many warnigns about consistentCafInfo
GHC
ghc-devs at haskell.org
Tue Apr 4 09:14:39 UTC 2017
#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
More information about the ghc-tickets
mailing list