From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Pointer to instance of indefinite array?
Date: Thu, 14 Aug 2014 10:03:23 +0200
Date: 2014-08-14T10:03:23+02:00 [thread overview]
Message-ID: <lshqgc$97m$1@dont-email.me> (raw)
In-Reply-To: <cc863592-3556-45ce-a1fd-ade463a81c42@googlegroups.com>
On 13.08.14 17:32, Adam Beneschan wrote:
>> Since 'Unrestricted_Access is not Ada but a GNAT specific pragma,
>> >and since it is not strictly needed, I think that standard Ada's own
>> >'Unchecked_Acceess should be enough?
> No, because of a somewhat obscure rule that deals with 'Access on an array when the target type is access-to-unconstrained-array. The rule is in 3.10.2(27-27.2).
Wow. Also found AI95-363.
This is similar to, but more entertaining than Sudoku.
next prev parent reply other threads:[~2014-08-14 8:03 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-13 2:07 Pointer to instance of indefinite array? NiGHTS
2014-08-13 2:09 ` Jeffrey Carter
2014-08-13 2:29 ` Shark8
2014-08-13 3:06 ` NiGHTS
2014-08-13 4:28 ` Jeffrey Carter
2014-08-13 16:06 ` NiGHTS
2014-08-13 17:43 ` Jeffrey Carter
2014-08-13 17:58 ` Shark8
2014-08-13 18:36 ` Dmitry A. Kazakov
2014-08-13 4:31 ` Per Sandberg
2014-08-13 7:47 ` Georg Bauhaus
2014-08-13 8:05 ` Egil H H
2014-08-13 15:32 ` Adam Beneschan
2014-08-14 8:03 ` Georg Bauhaus [this message]
2014-08-13 18:17 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox