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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,aaabba5db6b5df34
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!l32g2000yqm.googlegroups.com!not-for-mail
From: AdaMagica <christoph.grein@eurocopter.com>
Newsgroups: comp.lang.ada
Subject: Re: Min/Max attribute makes promises it can't keep
Date: Wed, 28 Apr 2010 21:41:57 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <a25143d6-c789-42e5-b1c9-9f1e205f0f2b@l32g2000yqm.googlegroups.com>
References: 
 <98b7e6f2-32ed-465c-9a52-541b7878ca86@y17g2000yqd.googlegroups.com>
	<9b17e781-f46a-4384-8809-b16602d10114@y30g2000yqh.googlegroups.com>
	<wcczl0o7g13.fsf@shell01.TheWorld.com>
 <880dc0f0-7fff-440d-8aad-6ce745fcfed8@h27g2000yqm.googlegroups.com>
	<246a7cec-bd5f-4c48-a6cb-3874080c19ab@y17g2000yqd.googlegroups.com>
	<591866ec-fa46-440c-b6fc-3092985ae3df@r27g2000yqn.googlegroups.com>
	<8ab2d2d1-b7dc-47bf-824f-4cab334a3fd6@11g2000yqr.googlegroups.com>
	<1pbp1hhh5yb9k.b6b9xs33b4od$.dlg@40tude.net>
 <4bd841e7$0$7658$9b4e6d93@newsspool1.arcor-online.net>
	<1t4extnm6iluj.r4x652cntogc$.dlg@40tude.net> <hra82e$i18$1@munin.nbi.dk>
NNTP-Posting-Host: 80.156.44.178
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1272516117 11975 127.0.0.1 (29 Apr 2010 04:41:57
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 29 Apr 2010 04:41:57 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l32g2000yqm.googlegroups.com; posting-host=80.156.44.178;
	posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.2; WOW64;
	.NET CLR 2.0.50727; .NET CLR 3.0.04506.30; .NET CLR 3.0.04506.648),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11249
Date: 2010-04-28T21:41:57-07:00
List-Id: <comp.lang.ada>

On 28 Apr., 23:07, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> That's not a real problem. Ada 2012 will allow
>
> =A0 =A0 String'("abc")'Length
>
> As a qualified expression can be used as a name (it's considered constant=
).

This whole discussion begs the question "What is an attribute?". I
think the Ada 83 design idea was that the basic scalar types only have
operators as functions. (See package Standard, there you find only
operators (except for the fact that enumeration literals are also
functions).) Everything else (like 'Image) was defined as an
attribute.

Thus Min, if it had existed in Ada 83 as an operator (it hadn't even
as an attribute), would have had to be a reserved word like abs, not,
rem, mod.

I think Ada 95 kept this design issue and thus had to define it as an
attribute.