Ben Brosgol wrote:

> John Harbaugh wrote:
> >This illustrates a fundamental advantage of Ada:  It is difficult to
> >write correct programs that have typos.
> 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...