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