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