[MLton] gc question

Jake Donham jake at sparkplug.bitmechanic.com
Sun Feb 25 15:54:53 PST 2007


Matthew Fluet <fluet at tti-c.org> writes:

> If the type has numObjptrs == 0, then the weak pointer is invalid and
> bytesNonObjptrs == 8 (or 12 for -align 8).  Hence, in this case, the
> code above advances by 8.

Ah, OK, I missed that bytesNonObjptrs is updated as well. (Apologies
if my message was worded provocatively--the code obviously passes the
relevant tests, I just couldn't see why it is correct.) Thanks,

Jake



More information about the MLton mailing list