> > I agree in general, but there is one pitfall in the case of OOP (which by
> > the way is not unique to Ada). If you misspell the name of a subprogram
> > intended to override an otherwise implicitly inherited operation, then you
> > do not override it even though you think you have. ...
> A pragma like "pragma Overrides(...)" would seem to be a good thing
> to have here. This should go on the "list" of useful pragmas for
> vendors to agree on...
Just out of curiosity: Why wasn't this included as a feature of the
language to begin with? And why a pragma instead of a keyword (as I
suggested in my earlier post)?