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: 103376,25ab365b646cef74 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news1.google.com!postnews.google.com!v1g2000pra.googlegroups.com!not-for-mail From: Jerry Newsgroups: comp.lang.ada Subject: Re: GNAT 4.2.3 Ubuntu reports weird compile error wrt Unchecked_Access Date: Sun, 17 Aug 2008 14:05:57 -0700 (PDT) Organization: http://groups.google.com Message-ID: <6484b694-3aab-4a4f-bae2-9198cf305e7b@v1g2000pra.googlegroups.com> References: <7053ea09-38cd-4e30-9827-a1384bafd190@p31g2000prf.googlegroups.com> <4a7dd648-fc2d-481c-9e51-8f63d961f01b@a1g2000hsb.googlegroups.com> <79669a6a-6d90-4025-9fa2-e71bebd659e1@b38g2000prf.googlegroups.com> NNTP-Posting-Host: 75.171.118.139 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1219007157 27609 127.0.0.1 (17 Aug 2008 21:05:57 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 17 Aug 2008 21:05:57 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: v1g2000pra.googlegroups.com; posting-host=75.171.118.139; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US) AppleWebKit/525.18 (KHTML, like Gecko, Safari/525.20) OmniWeb/v622.1.0.104087,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:1641 Date: 2008-08-17T14:05:57-07:00 List-Id: On Aug 17, 10:14=A0am, Simon Wright wrote: > Jerry writes: > > On Aug 16, 3:26=A0am, Ludovic Brenta wrote= : > >> Without more context I cannot tell for sure but I believe this is a > >> compiler error in the sense that gnat-4.2 does not implement all the > >> new (and more permissive) rules in Ada 2005 regarding anonymous access > >> types. gnat-3.2 implements these rules. > > >> BTW, I've mentioned already that Ubuntu 8.04 has broken support for > >> Ada. Better stick to Debian. > > >> -- > >> Ludovic Brenta. > > > I can quickly get in over my head here and I'm not very familiar with > > anonymous access types, but isn't 'Unchecked_Access a part of Ada 95 > > if not 83? > > Not 83, I think. > > The thing is, 'Unchecked_Access may well be allowed in more places in > '05 than it was in '95; and compilers don't always get this sort of > thing right first time. > > GNAT has 'Unrestricted_Access for places where the rules (or the > compiler) don't allow 'Unhchecked_Access. Thanks, Simon. I believe that this particular use of 'Unchecked_Access was allowed in Ada 95 and one would think that it would continue to work in Ada 2005, separate from whether any new usages in Ada 2005 work the first time. And the compiler in question is a 4.2.3 which I _think_ is not Ada 2005, but I could be mistaken. Furthermore, the two compilers mentioned in the original post which _do_ behave correctly are both 4.3 which _are_ (mostly, anyway, I think) Ada 2005. Jerry