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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.36.65.21 with SMTP id x21mr706126ita.23.1485168544990;
        Mon, 23 Jan 2017 02:49:04 -0800 (PST)
X-Received: by 10.157.17.114 with SMTP id p47mr2230051otp.6.1485168544963;
 Mon, 23 Jan 2017 02:49:04 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!r185no1625996ita.0!news-out.google.com!h135ni11327ith.0!nntp.google.com!r185no1625986ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 23 Jan 2017 02:49:04 -0800 (PST)
In-Reply-To: <o634d9$1j6m$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=91.55.204.159;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 91.55.204.159
References: <o61qau$ock$1@dont-email.me>
 <037bcf19-7753-459e-afa5-773b7ee82246@googlegroups.com>
 <ly37gbj8s9.fsf@pushface.org> <o634d9$1j6m$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <799c0fc3-2e01-4d53-bb4b-afd7a6c2b13d@googlegroups.com>
Subject: Re: Does object renaming allow the view to be a copy?
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Mon, 23 Jan 2017 10:49:04 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:33131
Date: 2017-01-23T02:49:04-08:00
List-Id: <comp.lang.ada>

Am Sonntag, 22. Januar 2017 21:24:12 UTC+1 schrieb Dmitry A. Kazakov:
> On 2017-01-22 18:37, Simon Wright wrote:
...
> > But like I said, crazy. Under the hood, any sensible person would have a
> > reference to the original object.
> 
> Some packed Boolean, not at the storage element margin?

Of course not in cases like that:

type Set is array (Index) of Boolean with Packed;
My_Set: Set;

My_Element_Presence: Boolean renames My_Set (I);

My_Set (I) := not My_Set (I);
My_Element_Presence := not My_Element_Presence;

Under the hood, the same packing and unpacking has to be performed. A simple reference is impossible in this case.