[MLton] gc question

[Jake Donham]

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