If I remember correctly, it's returning and case alternatives that are the
problem (unarise is relatively new, for a long time you could only use
unboxed tuples in returns and case alternatives). Take your case
expression example:
case e1 of
(# bndr1, bndr2, ..., bndrN #) -> RHS
Now
Simon,
I was looking at the bytecode compiler to understand what's needed to support
unboxed tuples. It seems like if we generate bytecode after unarise it should be
very easy to support unboxed tuples, because after unarise we don't have any
unboxed tuple binders (all binders have UnaryType). So