[MLton] stack-allocated references

[skaller]

On Wed, 2007-02-28 at 21:56 -0500, Jake Donham wrote:

> Is there any limit to the size of a stack frame? 

Of course there is a bound per program, which a whole
program analyser like Mlton can no doubt be coaxed into calculating,
and of course there is no universal bound for all programs.

What happens to Cheng's algorithm if instead of only the
top stacklet being mutable, the top N stacklets are mutable,
for some fixed N?

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net