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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: ADA.STRINGS.INDEX_ERROR : a-strunb.adb:782
Date: Thu, 18 Jan 2018 14:08:37 +0100
Organization: Adalog
Message-ID: <p3qckt$mii$3@dont-email.me>
References: <d66b4a89-dc02-4c04-a5bf-6dd4f2ef9f86@googlegroups.com>
 <7e895632-e0f9-4035-a0a3-1a31a262c8b3@googlegroups.com>
 <p3ntmv$16u6$1@gioia.aioe.org>
 <6e4679ff-6058-40ec-821a-791507313906@googlegroups.com>
 <p3pm77$1jvi$1@gioia.aioe.org> <lymv1b2zbp.fsf@pushface.org>
 <p3q1v8$8f2$1@gioia.aioe.org>
 <e9c28605-b13f-4b7f-b71d-11570e84dff4@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 18 Jan 2018 14:57:33 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="6bf5dd8b02df3cde89aa276588110b4f";
	logging-data="23122"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18kS2kmg6ACpiPnmB/HQ4Ec"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.5.2
In-Reply-To: <e9c28605-b13f-4b7f-b71d-11570e84dff4@googlegroups.com>
Content-Language: fr
Cancel-Lock: sha1:tcK9V6/WrE49VGGMxygUzsSm30A=
Xref: reader02.eternal-september.org comp.lang.ada:49980
Date: 2018-01-18T14:08:37+01:00
List-Id: <comp.lang.ada>

Le 18/01/2018 à 13:21, Mehdi Saada a écrit :
>> function "'Image" (X : Integer) return String; X'Image <=> "'Image"
>> (X)
> 
> I read that idea several times here and elsewhere. It seems logical
> indeed. Has it been directly refused ? If so what was their rational?
> 
It would defeat the whole benefit of attributes.

Attributes are constants or subprograms that are provided automatically
by the compiler. In a sense, their names are just like identifiers with
a ''' in the middle (OK lawyers, it's not really true, but it is close
enough for the casual user). This way, 1) it is clear that it is
provided by the compiler, and 2) it cannot clash with any user-defined
identifier.

If the user were allowed to define identifiers with a quote, these would
not be true any more, and there would be no benefit in using a
distinctive syntax.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr