Make unboxed tuples more supported
|Reported by:||guest||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
Unboxed tuples (# a, b #) do not have the same features as boxed tuples ( a, b ). In particular:
1) There is no prefix form, (#,#) a b is not equivalent to (# a, b #). We would have to define a collection of such functions in the Prelude (see Data.Tuple, for the () functions). We'd have to do is to make the parser understand (#,,,#).
2) Currently GHC does not allow f :: (# a, b #) -> ..., but there's no real reason why not; GHC could transform them away just before code generation.