Warren Harris wrote:
> I've been wondering whether the ocaml compiler does any sort of
> parameter passing optimizations for data structures, e.g. stack
> allocating, or destructuring them when it can determine their scope does
> not escape the call. My first conclusion is that it does for tuples
> only, but I wanted to see what others might know.

Maybe you can check it out yourself with the -dinstr option of ocamlc,
or the -S option of ocamlopt.


Cheers,

-- 
Stéphane