> > 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...
> -Tuck

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)?