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,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.224.172.134 with SMTP id l6mr10291486qaz.7.1364343921653;
        Tue, 26 Mar 2013 17:25:21 -0700 (PDT)
Path: 
 k8ni26992qas.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin1!goblin.stu.neva.ru!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 19 Mar 2013 17:52:13 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <aufd7vornmrk.2dxqrc3egrtg$.dlg@40tude.net> <khphpb$5f1$1@dont-email.me>
 <w46epyd1vjc2.1e1bviaog2kwi$.dlg@40tude.net>
 <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net>
 <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net>
 <vxjicagtvzjg.1bcu3fzy711ux$.dlg@40tude.net>
 <5140f1ad$0$6634$9b4e6d93@newsspool2.arcor-online.net>
 <7jct0noryc1v.1rnj5kkzx6m35.dlg@40tude.net>
 <5141c499$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net> <khstap$f55$1@dont-email.me>
 <1wv3p3nrtejfk$.bwebhg9agt0l.dlg@40tude.net> <khti0e$6k9$1@munin.nbi.dk>
 <ewe0v3ck1xdo$.e8rtuof27ke6$.dlg@40tude.net > <ki034o$6g6$1@munin.nbi.dk>
 <hiybjkhz3p5d.1x6dxfr1ptgcg.dlg@40tude.net> <ki84th$vv7$1@munin.nbi.dk>
 <vawvqtrqgamw$.1gsl8m14dvk4i.dlg@40tude.net>
 <514874d3$0$6628$9b4e6d93@newsspool2.arcor-online.net>
 <1o60gooo8xvba$.1ei9cebb07zek$.dlg@40tude.net>
In-Reply-To: <1o60gooo8xvba$.1ei9cebb07zek$.dlg@40tude.net>
X-Enigmail-Version: 1.5.1
Message-ID: <514897bd$0$6641$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Mar 2013 17:52:13 CET
NNTP-Posting-Host: 93c1f404.newsspool2.arcor-online.net
X-Trace: 
 DXC=Zc2FgZF>4]N78PK[oJ2ng@A9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOKiVCMLGBglYHnc\616M64>JLh>_cHTX3jMDK<ZTh:l3S@
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2013-03-19T17:52:13+01:00
List-Id: <comp.lang.ada>

On 19.03.13 16:13, Dmitry A. Kazakov wrote:
> On Tue, 19 Mar 2013 15:23:15 +0100, Georg Bauhaus wrote:
> 
>> On 19.03.13 11:14, Dmitry A. Kazakov wrote:
>>> "Positive" is the name of the type.
>>
>> How can something have a name if it is known to be anonymous?
> 
>    http://en.wikipedia.org/wiki/Name
> 
> The first two sentences.

These names apply to things that are eligible for naming.
An Ada type, by definition, is not eligible for naming
(like you have said). That's the rule of law.

It was a joke, anyway. I'm still waiting for the set of
formalized definitions that rewrite LRM 3, since they need
to put down words that redefine "type" and "subtype" from
the ground up (even when that's "just ..."). Until then,
everything conflates matters, I think.