Signed-off-by: Edward Z. Yang <email@example.com>
Make sure the Note is referred to from all the places where it is relevant; eg defn of BootUnfolding, defn of noinline etc
|1844 ↗||(On Diff #7677)|
Refer to the Note here
|1892 ↗||(On Diff #7677)|
in the unfolding of eqSR in SR.hi, replace eqRSR with noinline eqRSR.
This means that when GHC inlines eqSR it will not also inline eqRSR, exactly as would have been the case if foo had been defined in SR.hs.