From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d534ff88bae65c48
X-Google-Attributes: gid103376,public
From: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: hunting snarks
Date: 1999/12/17
Message-ID: <x7vbt7pxme9.fsf@pogner.demon.co.uk>#1/1
X-Deja-AN: 562358011
X-NNTP-Posting-Host: pogner.demon.co.uk:158.152.70.98
References: <uzovdbc46.fsf@gsfc.nasa.gov> <wccemcpmim6.fsf@world.std.com>
 <3856A48D.F4AF4D84@averstar.com>
X-Trace: news.demon.co.uk 945535817 nnrp-08:22750 NO-IDENT
 pogner.demon.co.uk:158.152.70.98
Organization: At Home
Newsgroups: comp.lang.ada
X-Complaints-To: abuse@demon.net
Date: 1999-12-17T00:00:00+00:00
List-Id: <comp.lang.ada>

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