From: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: hunting snarks
Date: 1999/12/17
Date: 1999-12-17T00:00:00+00:00 [thread overview]
Message-ID: <x7vbt7pxme9.fsf@pogner.demon.co.uk> (raw)
In-Reply-To: 3856A48D.F4AF4D84@averstar.com
Tucker Taft <stt@averstar.com> writes:
[...]
> For special cases involving generics which
> declare a type derived from a formal type, there is also a pragma
> Might_Override which overrules Explicit_Overriding, to indicate that the
> given subprogram might or might not override..
Doesn't sound like the sort of thing to encourage the safety guys to
let us use all (any of) the good things in Ada!
Isn't accidental overriding almost bound to lead to error? (wasn't
that the point at which all this started?)
next prev parent reply other threads:[~1999-12-17 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-14 0:00 hunting snarks Stephen Leake
1999-12-14 0:00 ` Robert A Duff
1999-12-14 0:00 ` Tucker Taft
1999-12-17 0:00 ` Simon Wright [this message]
1999-12-20 0:00 ` Tucker Taft
1999-12-21 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox