GHC Handbook

Note [Simplifying inside stable unfoldings]

GHC/Core/Opt/Simplify/Utils.hs:1203 compiler 

We must take care with simplification inside stable unfoldings (which come from
INLINE pragmas).

First, consider the following example
        let f = \pq -> BIG
        in
        let g = \y -> f y y
            {-# INLINE g #

References 0

This Note does not link to any other.

Referenced by 2