[MLton-user] Raw conversion of 32 bits into Real32.t

[Henry Cejtin]

I was thinking, to be concrete, of the case where no loop is used in the
construction of the list, but one is used in its use.  I.e., consider
the silly function
	fun f (x, y, x) = length [x, y, z]
Assuming length gets inlined, will MLton avoid constructing the list?  That
would really amaze me.
Assuming that the list is constructed, would it actually be constructed on
the stack?