23 Dec
2011
23 Dec
'11
9:37 a.m.
On 23/12/2011 13:46, Ian Lynagh wrote:
On Fri, Dec 23, 2011 at 01:34:49PM +0000, Simon Peyton-Jones wrote:
Arguments Boxed Unboxed 3 ( , , ) (# , , #) 2 ( , ) (# , #) 1 0 () (# #)
Simple, uniform.
Uniform horizontally, but strange vertically!
It's worth mentioning that if you want to write code that's generic over tuples in some way, the absence of a case for singletons is actually a bit annoying - you end up adding something like a One constructor to paper over the gap. But I can't think of any nice syntax for that case either. Cheers, Ganesh