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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Aliased Unchecked_Unions not seen or taken notice of
Date: Mon, 12 Nov 2018 18:17:01 -0600
Organization: JSA Research & Innovation
Message-ID: <psd55u$g48$1@franka.jacob-sparre.dk>
References: <59fabb8a-45b4-429d-822b-58878a208df0@googlegroups.com>
 <h_jGD.203200$QD7.134678@fx44.am4>
 <093d8491-8ab4-4233-9bfd-7de1cffa70bc@googlegroups.com>
Injection-Date: Tue, 13 Nov 2018 00:17:02 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="16520"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:54822
Date: 2018-11-12T18:17:01-06:00
List-Id: <comp.lang.ada>

"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.