Hi
> [you wrote] If pointer-tag is -1, then object type is unconstrained;
> otherwise, the object type is constrained to have a pointer
> tag that matches pointer-tag....
Here, what types of pointer tags could one have? In my
scheme implementation, I just have one pointer type.