Hi folks,

I was debugging a Core-to-Core transform for TEST=spec-inline and was wondering (yet again) why GHC produces unlifted `let` bindings in Core like it seems supposed to be doing.

Why doesn't this use `case` instead?
Is there a semantic difference?
Can `case` be used with unlifted types?
And if not, why can `let`?

Unlifted `let` seems much close to `case` than to `let`. Some GHC passes seem to agree.

Cheers,

Sebastian