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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.36.236.3 with SMTP id g3mr3047967ith.32.1519252149957; Wed, 21 Feb 2018 14:29:09 -0800 (PST) X-Received: by 10.157.95.135 with SMTP id g7mr226905oti.14.1519252149684; Wed, 21 Feb 2018 14:29:09 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w142no401266ita.0!news-out.google.com!10ni798ite.0!nntp.google.com!o66no400404ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 21 Feb 2018 14:29:09 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.240.212.129; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 85.240.212.129 References: <3a2e91d4-f563-4843-9c80-5a76732626d3@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <6e384796-4a5f-449a-8bf7-3b8fe974b4fc@googlegroups.com> Subject: Re: non record limited type From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Wed, 21 Feb 2018 22:29:09 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 4245198736 X-Received-Bytes: 2433 Xref: reader02.eternal-september.org comp.lang.ada:50527 Date: 2018-02-21T14:29:09-08:00 List-Id: > Based on that, your limited private which is really an integer would stil= l be > a by-copy-type. I don't know the RM's intention but the wording suggests= that > at least. Note you can also used the "aliased" keyword in a function/pro= cedure > signature to enforce an aliased variable which will be passed by referenc= e > as well:=20 > -- Object is passed by reference > procedure Do_Something(Object : aliased in out Some_Type); Really ? Are you sure it "forces" the passing by reference ? But I remember= clearly have read somewhere, most probably on this forum that it wasn't in= Ada's philosophy to let one precise that, since it is an implementation de= tail, and that the compiler shall decide by himself. I can imagine that in some contexts, for small objects, or in distributed s= ystems (across computers ), it would make sense for the value to be copied = locally, then when "return" is reached it could be pasted back. That said, in most cases your opinion makes more sense indeed. But I don't = think one could be "sure". That said Though I suppose you're right,=20