From: Robert Eachus <rieachus@comcast.net>
Subject: Re: Alleged GNAT bug
Date: Thu, 16 Nov 2017 07:55:47 -0800 (PST)
Date: 2017-11-16T07:55:47-08:00 [thread overview]
Message-ID: <db986814-81fe-43e5-a405-448ad56d34df@googlegroups.com> (raw)
In-Reply-To: <oufukc$gd4$1@franka.jacob-sparre.dk>
On Tuesday, November 14, 2017 at 6:35:42 PM UTC-5, Randy Brukardt wrote:
> Please don't confuse people. 3.10.2 (accessibility rules) is the Heart of
> Darkness. See AARM 3.10.2(3.b/3). (I'm serious.)
I'd include the whole 3.10.2 Static Semantics section. It is amazing how much verbiage is required to correctly state what was originally assumed to be an implicit result of static nesting. Allowing an access type to designate a more deeply nested type is clearly wrong. The problem is all in defining 'more deeply.'
prev parent reply other threads:[~2017-11-16 15:55 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-20 18:10 Alleged GNAT bug Victor Porton
2017-10-24 10:13 ` A. Cervetti
2017-10-24 23:08 ` Randy Brukardt
2017-10-25 0:53 ` A. Cervetti
2017-10-25 17:03 ` AdaMagica
2017-10-25 17:27 ` Victor Porton
2017-10-26 7:09 ` AdaMagica
2017-10-26 18:41 ` Victor Porton
2017-11-14 23:35 ` Randy Brukardt
2017-11-16 15:55 ` Robert Eachus [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox