Re: Finalizers questions

[filcuc]

The fact that the finalizer is specified on the new proc still means that is 
called only for that particular instance? Or after the first new is called also 
on any previous or future instances of type T? If it's like in the latter case 
then it's weird. I would prefer something associated directly to the type. Like 
a pragma specified at the point where T is introduced and not on new calls