Case expressions in STG

[Tom Ellis]

On Wed, Jun 18, 2014 at 11:04:22PM +0000, Simon Peyton Jones wrote:
> I've forgotten what I intended in the STG paper, but GHC's Core language
> certainly allows case on a function; all it does is to force the function
> to head normal form.

Right, that's what I imagined.  I will have a look for some more up-to-date
references to see how this works in modern GHC.

Tom