comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: 'address on a subprogram parameter
Date: Fri, 23 Apr 2021 20:25:43 -0500	[thread overview]
Message-ID: <s5vs2o$m5t$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 07a090e1-85b4-4ebb-a093-dcda57b56579n@googlegroups.com

"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. 


  reply	other threads:[~2021-04-24  1:25 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-04-20 15:10 'address on a subprogram parameter Vincent Marciante
2021-04-20 15:52 ` AdaMagica
2021-04-20 17:32   ` Jeffrey R. Carter
2021-04-21  9:19     ` AdaMagica
2021-04-20 17:33   ` Niklas Holsti
2021-04-20 16:35 ` J-P. Rosen
2021-04-20 17:18   ` Vincent Marciante
2021-04-20 19:25     ` Randy Brukardt
2021-04-20 19:41       ` Vincent Marciante
2021-04-24  1:25         ` Randy Brukardt [this message]
2021-04-24  9:56           ` Niklas Holsti
2021-04-21 20:17     ` Shark8
2021-04-22  9:54       ` Vincent Marciante
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox