[GHC] #4419: dph tests fail with panic
simonpj at microsoft.com
Wed Oct 20 07:11:29 EDT 2010
| > But why do the Ids need an unfolding at all? The simplifier will add one for itself, as
| it does with ordinary Haskell code
| Because we want to make some of the bindings we generate INLINE and IIUC, the way
| to do this is to mkInlineUnfolding.
Ah. But do *all* of the Ids in a mutually recursive group get INLINE pragamas? If so that sounds suspicious. If not, you can cut the loop with the ones that don't
But setting the unf lazily is ok with me, provided it is documented. These matters are not obvious.
More information about the Cvs-ghc