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=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Carbon Date: Fri, 2 Sep 2022 16:59:36 +0200 Organization: Adalog Message-ID: References: <993af397-b615-44e7-ae8d-ec706f9b6098n@googlegroups.com> <5f819cdd-e763-4a96-aed5-545d57edac23n@googlegroups.com> <877d2u21ps.fsf@nightsong.com> <8735di1y6a.fsf@nightsong.com> <87ler9ywye.fsf@nightsong.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 2 Sep 2022 14:59:14 -0000 (UTC) Injection-Info: reader01.eternal-september.org; posting-host="c5c07cd7500e79760c471e70f452c84b"; logging-data="2672576"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Klm8yfg7hi6Z9tT9ZrI5j" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.2.0 Cancel-Lock: sha1:wNHZSo3fDlID+BXZa3BYdz66HDw= Content-Language: fr In-Reply-To: Xref: reader01.eternal-september.org comp.lang.ada:64275 List-Id: 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. There is also A'Overlaps_Storage (B) which is True if A and B have at least one bit in common (notably, if B is part of A). -- 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