[MLton] gcState.threadShrinkRatio

Matthew Fluet fluet@cs.cornell.edu
Wed, 19 May 2004 14:07:43 -0400 (EDT)


> I was wondering if it's really the right thing to use
> threadShrinkRatio when shrinking the active stack.

I changed things so that the active thread is resized under the old policy
(when used < 4 * reserved, shrink to reserved / 2).