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.58.252.194 with SMTP id zu2mr8125411vec.23.1364343882824;
        Tue, 26 Mar 2013 17:24:42 -0700 (PDT)
Path: 
 k8ni26998qas.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin2!goblin.stu.neva.ru!news.internetdienste.de!noris.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 19 Mar 2013 15:23:15 +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>
 <b3jec1s37hwu$.bg5cvsul0r5$.dlg@40tude.net>
 <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net>
 <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>
In-Reply-To: <vawvqtrqgamw$.1gsl8m14dvk4i.dlg@40tude.net>
X-Enigmail-Version: 1.5.1
Message-ID: <514874d3$0$6628$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Mar 2013 15:23:15 CET
NNTP-Posting-Host: 0331a298.newsspool2.arcor-online.net
X-Trace: 
 DXC=k808c=9Fo`em7>ihJR;B_cA9EHlD;3Ycb4Fo<]lROoRa8kF<OcfhCOk\M8Q7Z_Bh2mnc\616M64>jLh>_cHTX3jm@EK@1Y3f9\l
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2013-03-19T15:23:15+01:00
List-Id: <comp.lang.ada>

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?