Re: non record limited type

[Jere <jhb.chat@gmail.com>]

On Wednesday, February 21, 2018 at 5:29:11 PM UTC-5, Mehdi Saada wrote:
> > Based on that, your limited private which is really an integer would still 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/procedure
> > signature to enforce an aliased variable which will be passed by reference
> > as well: 
> > -- 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 detail, and that the compiler shall decide by himself.

Also, if you look into the section of the RM that I linked you in my first
response, you will see that it is required to be that way

RM 6.2
http://www.ada-auth.org/standards/12rm/html/RM-6-2.html
----------------------------------------------------------
A parameter of a by-reference type is passed by reference, as is an 
explicitly aliased parameter of any type. Each value of a by-reference 
type has an associated object. For a parenthesized expression, 
qualified_expression, or type_conversion, this object is the one 
associated with the operand. For a conditional_expression, this 
object is the one associated with the evaluated dependent_expression.