Re: Extending a third party tagged type while adding finalization

[Jere <jhb.chat@gmail.com>]

On Tuesday, November 28, 2017 at 6:48:10 AM UTC-5, AdaMagica wrote:
> Am Montag, 27. November 2017 20:53:59 UTC+1 schrieb Jere:
> > 
> > The output for this is:
> > Initialize C1
> > Initialize Final
> > Initialize C2
> > Starting
> > Finalize C2
> > Finalize Final
> > Finalize C1
> > 
> > which is the same thing I was seeing with my version.  Final is initialized
> > before C2 and C2 is finalized before Final. 
> 
> Yes, that's a side effect of the selfreference. Too bad. 
> 

Yes indeed.  This is why I initially said it couldn't be done safely. The
self reference + dispatch causes out of order initialization and
finalization.  It can be done safely in specific cases, but not
in general.  I got this result from both my initial code and using the
code from your paper.  It makes sense now that I have had time to
think about it more.  Basically, I can add Initialization and
Finalization to a descendant, but I cannot do so in a manner that
further descendants can safely inherit it.  I have to add it to each
descendant manually (and avoid the classwide self reference) to keep safety.