GHC always beta-reduces.
It does not always inline. For that: -ddump-inlinings
Simon
From: ghc-devs <ghc-devs-bounces@haskell.org>
On Behalf Of David Feuer
Sent: 26 March 2018 23:59
To: ghc-devs@haskell.org
Subject: Missed beta reductions
What's the best way to find spots where GHC saw a redex and choose not to beta reduce? Is there a flag for that? It could be useful when trying to figure out why rules aren't firing.
David Feuer
Well-Typed, LLP