comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Aliased Unchecked_Unions not seen or taken notice of
Date: Mon, 12 Nov 2018 18:17:01 -0600
Date: 2018-11-12T18:17:01-06:00	[thread overview]
Message-ID: <psd55u$g48$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 093d8491-8ab4-4233-9bfd-7de1cffa70bc@googlegroups.com

"Lucretia" <laguest9000@googlemail.com> wrote in message 
news:093d8491-8ab4-4233-9bfd-7de1cffa70bc@googlegroups.com...
> On Monday, 12 November 2018 18:53:02 UTC, Per Sandberg  wrote:
>> You could always do.
>>    B (Result'Unrestricted_Access);
>> As a workaround
>> /P
>>
>> On 11/12/18 6:56 PM, Lucretia wrote:
>> >    B (Result'Access);
>
> Thanks, that works.

BTW, I'd report a bug to AdaCore, too, as there doesn't seem to be any 
reason for what you wrote to not work. (If there was, the error message 
should explain it, not complain that something explicitly declared as 
aliased isn't aliased -- so there still is a bug to be fixed.)

                                              Randy.




      reply	other threads:[~2018-11-13  0:17 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-11-12 17:56 Aliased Unchecked_Unions not seen or taken notice of Lucretia
2018-11-12 18:29 ` Lucretia
2018-11-12 20:13   ` Dmitry A. Kazakov
2018-11-12 21:02     ` Lucretia
2018-11-13  0:14       ` Randy Brukardt
2018-11-12 18:53 ` Per Sandberg
2018-11-12 19:44   ` Lucretia
2018-11-13  0:17     ` Randy Brukardt [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