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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,90108ed846e3f1bf
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Why constructing functions is a mess [was Language lawyer
  question: task activation
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <ccf8fc4b-80e3-4732-84e3-16c4e2d10c3d@v39g2000pro.googlegroups.com>
  <499f2c59$0$31868$9b4e6d93@newsspool3.arcor-online.net>
 <1vcaimc8kjj30$.kf3rsd670ebp$.dlg@40tude.net> <go9t07$lht$1@munin.nbi.dk>
 <1gxn72yzshp07$.6ytqydmmz37u.dlg@40tude.net>
 <49a92c29$0$32670$9b4e6d93@newsspool2.arcor-online.net>
 <1wzjy9pzbft1m.1lut7nszfkzmp$.dlg@40tude.net>
 <49a95a12$0$31347$9b4e6d93@newsspool4.arcor-online.net>
 <p2ugsc0q86gs.1wau2yijrzj7t.dlg@40tude.net>
 <49a97231$0$30236$9b4e6d93@newsspool1.arcor-online.net>
 <1mjbcbequf1wz.1o3nwuz7oqteo.dlg@40tude.net>
 <49a984f6$0$30226$9b4e6d93@newsspool1.arcor-online.net>
 <f7marceobkvv.gyibyusp603m$.dlg@40tude.net>
 <49ac0595$0$31344$9b4e6d93@newsspool4.arcor-online.net>
 <1p6sf3ykej2ls.10jmdonrmif5h.dlg@40tude.net>
 <49ac2a8e$0$30232$9b4e6d93@newsspool1.arcor-online.net>
 <7uqw8skbd6y0.ijm97ivq4kei.dlg@40tude.net>
 <7e0cb26f-3648-44ca-9241-9d0b7269e905@o11g2000yql.googlegroups.com>
Date: Tue, 3 Mar 2009 09:45:43 +0100
Message-ID: <bvs21rwcqtyz.upt3j8w0e76i$.dlg@40tude.net>
NNTP-Posting-Date: 03 Mar 2009 09:45:42 CET
NNTP-Posting-Host: 19f96fc6.newsspool2.arcor-online.net
X-Trace: 
 DXC=afF]?9j2XAWaAeROF2PWMQA9EHlD;3YcR4Fo<]lROoRQ^YC2XCjHcbYbAX1NgmTjIRDNcfSJ;bb[UFCTGGVUmh?TLK[5LiR>kgR<0A2^I0ETfQ
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:4853
Date: 2009-03-03T09:45:42+01:00
List-Id: <comp.lang.ada>

On Mon, 2 Mar 2009 23:04:02 -0800 (PST), christoph.grein@eurocopter.com
wrote:

> On Mar 2, 10:02�pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>>> � �package P1 is
>>> � � � type T1(<>) is abstract tagged limited private;
>>> � �private
>>> � � � type T1(X: Character) is tagged limited null record;
>>> � �end P1;
>>
>>> � �package P2 is
>>> � � � type T2 is new P1.T1 with private;
>>> � �private
>>> � � � type T2 is new P1.T1 with null record;
>>>       X: T2 := (P1.T1 with null record);  -- Bang!
>>> � �end P2;
>>> ...
>>
>> However it looks like a bug to me, because T1 is unconstrained.
>> Nevertheless, GNAT Pro 6.2.1 successfully compiles it.
> 
> No, it doesn't (I *have* GNAT Pro 6.2.1).
> 
>    X: T2 := (P1.T1 with null record);
>             | no value supplied for discriminant "X"
> gnatmake: "p2.ads" compilation error

Hmm, mine is GNAT Pro 6.2.1 (20090115). Different wavefronts or, maybe,
platforms?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de