From: Adam Beneschan <adambeneschan@gmail.com>
Subject: Re: Access parameters and accessibility
Date: Wed, 17 Dec 2014 08:03:56 -0800 (PST)
Date: 2014-12-17T08:03:56-08:00 [thread overview]
Message-ID: <2d785416-d75f-414f-8936-21a8f19b76f2@googlegroups.com> (raw)
In-Reply-To: <m6s42s$pib$1@speranza.aioe.org>
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
next prev parent reply other threads:[~2014-12-17 16:03 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-12-15 16:52 Access parameters and accessibility Michael B.
2014-12-15 17:54 ` Dmitry A. Kazakov
2014-12-15 18:48 ` Jeffrey Carter
2014-12-15 20:23 ` Michael B.
2014-12-15 21:02 ` Dmitry A. Kazakov
2014-12-16 1:10 ` sbelmont700
2014-12-16 13:57 ` Michael B.
2014-12-16 14:12 ` Georg Bauhaus
2014-12-16 21:34 ` sbelmont700
2014-12-17 14:30 ` Michael B.
2014-12-17 15:41 ` sbelmont700
2014-12-18 17:48 ` Michael B.
2014-12-17 16:03 ` Adam Beneschan [this message]
2014-12-18 16:07 ` Michael B.
2014-12-16 7:45 ` Randy Brukardt
2014-12-16 8:48 ` Stefan.Lucks
2014-12-16 20:47 ` Randy Brukardt
2014-12-16 21:24 ` Georg Bauhaus
2014-12-16 9:08 ` Natasha Kerensikova
2014-12-16 10:00 ` Dmitry A. Kazakov
2014-12-16 14:57 ` Robert A Duff
2014-12-16 19:46 ` Michael B.
2014-12-16 20:59 ` Randy Brukardt
2014-12-17 7:02 ` Natasha Kerensikova
2014-12-17 8:28 ` Dmitry A. Kazakov
2014-12-17 9:06 ` Natasha Kerensikova
2014-12-17 22:58 ` Randy Brukardt
2014-12-17 22:25 ` Randy Brukardt
2014-12-18 0:47 ` Shark8
2014-12-17 2:02 ` Adam Beneschan
2014-12-17 23:18 ` Randy Brukardt
2014-12-18 0:56 ` Robert A Duff
2014-12-18 1:17 ` Randy Brukardt
2014-12-18 5:29 ` Shark8
2014-12-18 23:12 ` Randy Brukardt
2014-12-18 8:27 ` Dmitry A. Kazakov
2014-12-18 21:20 ` Randy Brukardt
2014-12-19 12:16 ` Michael B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox