When does GHC produce unlifted `let` bindings?
sgraf1337 at gmail.com
Sun Oct 29 21:06:49 UTC 2017
I was debugging a Core-to-Core transform for TEST=spec-inline
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs