From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: 'address on a subprogram parameter
Date: Fri, 23 Apr 2021 20:25:43 -0500
Organization: JSA Research & Innovation
Message-ID: <s5vs2o$m5t$1@franka.jacob-sparre.dk>
References: <962020bb-97fc-42c3-8255-8f9b2bcbe204n@googlegroups.com> <s5mvrp$fu0$1@dont-email.me> <13f272e5-14a3-45cb-abf2-3d9f5a98f715n@googlegroups.com> <s5n9r3$crn$1@franka.jacob-sparre.dk> <07a090e1-85b4-4ebb-a093-dcda57b56579n@googlegroups.com>
Injection-Date: Sat, 24 Apr 2021 01:25:44 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
	logging-data="22717"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:61903
List-Id: <comp.lang.ada>

"Vincent Marciante" <vincent.marciante@l3harris.com> wrote in message 
news:07a090e1-85b4-4ebb-a093-dcda57b56579n@googlegroups.com...
>Got it (and "no way" that the big record that is in the real code would be 
>passed by copy
>but I'll see if specifying it explicitly would not be disruptive).  Thanks.

Careful about assumptions, if you want the code to be portable. At one 
point, Janus/Ada would pass pretty anything by copy to parameters of certain 
generic types. (We got rid of that in the Ada 95 version because of the need 
to deal with "aliased" components, but the cost is that one needs to use a 
thunk to access anything of most generic formal types in a generic body. 
[Janus/Ada still uses universal generic sharing.])

                                   Randy.