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,735c710b5e547bad
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.180.96.42 with SMTP id dp10mr1351501wib.2.1343319102675;
        Thu, 26 Jul 2012 09:11:42 -0700 (PDT)
Received: by 10.66.79.169 with SMTP id k9mr1612160pax.18.1343312428963;
        Thu, 26 Jul 2012 07:20:28 -0700 (PDT)
Path: 
 ge7ni76382822wib.0!nntp.google.com!7no5075931wig.0!news-out.google.com!p10ni61947386pbh.1!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border1.nntp.ams.giganews.com!border4.nntp.ams.giganews.com!ramfeed-1.ams.xsnews.nl!feed.xsnews.nl!border-3.ams.xsnews.nl!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!news.bbs-scene.org!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2005 puzzle
Date: Mon, 23 Jul 2012 21:23:50 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <57ed1bca-b503-492c-a3b1-012369484e93@googlegroups.com>
References: <1arp60wtxes8h$.1qs6bt732ztgp.dlg@40tude.net>
 <030cde76-7435-405d-9f12-ac7f730ecab8@googlegroups.com>
 <1f9q6vk5z2r3t$.1hayo9rmxfwu7$.dlg@40tude.net> <ju8atj$734$1@munin.nbi.dk>
 <wd9m63dfb4hn.1feik6xrauuel$.dlg@40tude.net> <juafd9$fa5$1@munin.nbi.dk>
 <1agfifqlayl3y.1bp09z5i37ewk$.dlg@40tude.net> <jucrlq$d2c$1@munin.nbi.dk>
 <1nnq1oprn6h4f.1s5myl3oupdds$.dlg@40tude.net> <jul1rf$3rn$1@munin.nbi.dk>
NNTP-Posting-Host: 68.4.246.214
Mime-Version: 1.0
X-Trace: posting.google.com 1343103831 8639 127.0.0.1 (24 Jul 2012 04:23:51
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 24 Jul 2012 04:23:51 +0000 (UTC)
In-Reply-To: <jul1rf$3rn$1@munin.nbi.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=68.4.246.214;
 posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-Received-Bytes: 2616
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Date: 2012-07-23T21:23:50-07:00
List-Id: <comp.lang.ada>

On Monday, July 23, 2012 7:38:30 PM UTC-7, Randy Brukardt wrote:
> >
> > I don't understand that, I am not a language lawyer. You are. Is my=20
> > example
> > legal and GNAT wrong? In case it is illegal, then how do I change the
> > aggregate to make it legal.
>=20
> The example you have is illegal. But the reason it is illegal is not beca=
use=20
> there are any semantic problems with the construct -- it's illegal purely=
=20
> because it is difficult to implement on some compilers.

Just to forestall any possible confusion: I think Dmitry's example *would* =
be illegal if it didn't involve a null extension.  But since his original p=
ost did involve a null extension, I think the example in his post was legal=
 and GNAT was wrong.  I'm guessing, though, that Dmitry probably started wi=
th a non-null type extension and just understandably simplified it too far.

                              -- Adam