simplification question

Stephen Weeks MLton@sourcelight.com
Fri, 2 Nov 2001 12:22:28 -0800


> Another note: nothing in the SSA simplification loop right now rewrites
> self non-tail calls with continuations that simply return into tail calls.
> This causes world5.sml to fail, because the child processes exhausts
> memory with stack.

The shrinker rewrites nontail calls (self or not) that have a
continuation that simply returns as tail calls.