From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.5 required=3.0 tests=BAYES_05,XPRIO autolearn=no
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Aspect location in expression function.
Date: Wed, 25 May 2022 00:20:50 -0500
Organization: A noiseless patient Spider
Message-ID: <t6kebj$npp$1@dont-email.me>
References: <t5o4sg$3oh$1@gioia.aioe.org> <t5oigj$pag$1@dont-email.me> <t6hlhq$vcu$1@dont-email.me> <t6j7se$8b1$1@dont-email.me>
Injection-Date: Wed, 25 May 2022 05:20:51 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="806c3b021b8ce33d20fe67da3968fc86";
	logging-data="24377"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX186gWaWrgPs43c4fi4oG9ufRIYup96O7L0="
Cancel-Lock: sha1:iS/n+WqAd7H6uT5b0v+qhw9vcx0=
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-RFC2646: Format=Flowed; Response
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-Priority: 3
X-MSMail-Priority: Normal
Xref: reader02.eternal-september.org comp.lang.ada:63877
List-Id: <comp.lang.ada>

"G.B." <bauhaus@notmyhomepage.invalid> wrote in message 
news:t6j7se$8b1$1@dont-email.me...
> On 24.05.22 06:05, Randy Brukardt wrote:
...
> Who cares to see "is abstract" if P is in a spec?
> The implementer, I guess, but the client? Less so.

Any client that needs to declare an extension (pretty common in OOP), 
especially as "abstract" routines mostly are used with root types (and 
interfaces). I suppose you could "program by error" and just let the 
compiler complain if you don't give a body for something abstract, but it's 
generally recommended to know what you're doing and not just try to make the 
compiler happy.

                                      Randy.