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: Thu, 1 Sep 2022 08:46:33 +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: Thu, 1 Sep 2022 06:46:11 -0000 (UTC) Injection-Info: reader01.eternal-september.org; posting-host="0f34556f80e45325c00e2181209d6cf5"; logging-data="2213941"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/tB/P52yAjAwcrfGEnLi35" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.2.0 Cancel-Lock: sha1:CeiZdf8A3gglzpslKOcoh4/N0VI= In-Reply-To: Content-Language: fr Xref: reader01.eternal-september.org comp.lang.ada:64248 List-Id: 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... -- 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