Patch: String.unintern

[Tom Tromey]

>>>>> "Corey" == Corey Minyard <minyard@acm.org> writes:

Corey> First a little thing: Comparing the value after UNMASK_PTR is
Corey> called with DELETED_STRING is not going to work, since
Corey> UNMASK_PTR always loses the lower bit and DELETED_STRING has it
Corey> set.

Thanks, I fixed this.

Corey> Now a more fundamental issue.  Does registering a new finalizer
Corey> or calling a finalizer automatically resurrect the object so
Corey> the new finalizer will be called?

I don't know.  I'll find out.

Tom