On Fri, 2004-02-20 at 15:28, law@redhat.com wrote: > So just to be sure, we agree that we can have a copy between > pointers, one of which has a tag and one of which does not? > Absolutely. And when we do propagate_value() from one to the other, the pointer with no tag will inherit the type tag from the other pointer. Diego.