Re: Q: Endless loop by dispatching

[tmoran@acm.org]

  What was programmer of Root trying to accomplish when he said
>   type Root_Type is tagged private;
  It seems to me he was trying to say "If you declare a child type
and procedures Initialize or Finalize or Adjust, don't expect them
to be called as if Root_Type was Controlled.  If he wanted to let
derived types be Controlled, he should have said:
>   type Root_Type is new Ada.Finalization.Controlled with private;

> But to not be able to declare Leaf.Initialize
> as overriding defeats the whole point.
  Defeats what point?