[MLton] gc question

Matthew Fluet fluet at tti-c.org
Fri Feb 2 11:03:20 PST 2007

> Do I understand correctly that the purpose of the GC_HEAP_LIMIT_SLOP
> business is to optimize the heap limit checks (since we save an add of
> the allocation size) in the common case that the allocation is less
> than that size?

Correct, purely an invariant that is enforced for the optimization.

More information about the MLton mailing list