[MLton] array flattening

[Henry Cejtin]

No, I am talking about the space used just after you execute
	Array.array (1000000, (0, 0))
With the current indirection, all the array slots share the same int * int,
so it is just 4 bytes per element plus the header for a single array and
the header for the single tuple.
I agree, if you change most of the elemnts to newly cons'd tuples then it is
a win at that point, but not if most of them retain this initial value.