From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.6 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	SCC_BODY_URI_ONLY,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no
	version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Carbon
Date: Fri, 2 Sep 2022 20:45:08 +0200
Organization: Adalog
Message-ID: <tetiuu$2hhu1$1@dont-email.me>
References: <f91d8f78-d92f-4200-a1bd-dce840bf0400n@googlegroups.com>
 <tbj438$1eab$1@gioia.aioe.org>
 <f88660da-350c-40df-ac70-a644e6f30661n@googlegroups.com>
 <tbqs0t$104n$1@gioia.aioe.org> <tbrsd7$2iq3d$1@dont-email.me>
 <993af397-b615-44e7-ae8d-ec706f9b6098n@googlegroups.com>
 <5f819cdd-e763-4a96-aed5-545d57edac23n@googlegroups.com>
 <a68c8311-6430-4956-9e82-eaed3a962114n@googlegroups.com>
 <877d2u21ps.fsf@nightsong.com>
 <bf592477-feba-418a-b1aa-17bbc81e7f76n@googlegroups.com>
 <8735di1y6a.fsf@nightsong.com> <teecue$dupe$1@dont-email.me>
 <87ler9ywye.fsf@nightsong.com> <tefalc$j9vn$1@dont-email.me>
 <teg8va$m5ah$1@dont-email.me> <tepkfj$23i1l$1@dont-email.me>
 <tet3b1$2hvdn$1@dont-email.me> <tet5o2$2hhu0$1@dont-email.me>
 <jneucmFn478U1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 2 Sep 2022 18:44:46 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="c5c07cd7500e79760c471e70f452c84b";
	logging-data="2672577"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19KrmaDNhI/ObBi4472LySV"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.2.0
Cancel-Lock: sha1:YfRUgPR2r0/nWOgNQbI74PT6wFA=
In-Reply-To: <jneucmFn478U1@mid.individual.net>
Content-Language: fr
Xref: reader01.eternal-september.org comp.lang.ada:64277
List-Id: <comp.lang.ada>

Le 02/09/2022 à 19:55, Niklas Holsti a écrit :
> On 2022-09-02 17:59, J-P. Rosen wrote:
>> Le 02/09/2022 à 16:18, G.B. a écrit :
>>> On 01.09.22 08:46, J-P. Rosen wrote:
>>>> Le 28/08/2022 à 19:34, G.B. a écrit :
>>>>> Also the convenience of being able to compare two objects for
>>>>> being the same object, using "===" in some languages---out of the box!
>>>>>
>>>>> procedure same_object (A : T; B in out T) is
>>>>> begin
>>>>>    what_do_i_put_here; --  ?
>>>>       A'Has_Same_Storage (B);
>>>>> end same_object;
>>>>
>>>> Of course, this procedure should be a function...
>>>
>>> Cool, new attributes.
>>>
>>> Is the expectation that A and B occupy the same
>>> bits if I pass the same X as an actual for both?
>> Yes.
> 
> 
> Surely only if their type (T, above) is passed by-reference?
> 
> G.B.'s post had a later example where T is "range 1 .. 10", which is a 
> by-copy type, so there A and B would be separate copies of X.
> 
> 
Sure, but in this case you are passing values, not objects, so "same 
object" is irrelevant.
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr