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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.70.140.206 with SMTP id ri14mr35807223pdb.9.1418832237087; Wed, 17 Dec 2014 08:03:57 -0800 (PST) X-Received: by 10.50.66.144 with SMTP id f16mr184256igt.17.1418832236988; Wed, 17 Dec 2014 08:03:56 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!h15no24139173igd.0!news-out.google.com!h6ni559igv.0!nntp.google.com!h15no24139171igd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 17 Dec 2014 08:03:56 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=KSa2aQoAAACOxnC0usBJYX8NE3x3a1Xq NNTP-Posting-Host: 66.126.103.122 References: <4f547857-ea9e-4baf-a705-911fbf9c633d@googlegroups.com> <72048e0e-164a-4dce-8818-69454011a618@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <2d785416-d75f-414f-8936-21a8f19b76f2@googlegroups.com> Subject: Re: Access parameters and accessibility From: Adam Beneschan Injection-Date: Wed, 17 Dec 2014 16:03:56 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Received-Bytes: 1984 X-Received-Body-CRC: 4072483069 Xref: news.eternal-september.org comp.lang.ada:24073 Date: 2014-12-17T08:03:56-08:00 List-Id: On Wednesday, December 17, 2014 6:30:57 AM UTC-8, Michael B. wrote: > Does that mean that a compiler writer is allowed to implement this rule, > but it is not strictly necessary? > > I tried to compile and run your example. I replaced > "type T is ...;" by "type T is new Integer;" > and "type A is access T;" by "type A is access all T;" > to get it compiled (with Gnat 4.9 on Debian Jessie 8.0 amd64). > It runs but "P1(Z'Access);" raises Program_Error. > > If I understand you correctly this is not a compiler bug and this > optional rule was just not implemented in Gnat, right? I don't think there are any "optional" accessibility rules. -- Adam