From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: Differences with/without .all
Date: Mon, 17 Mar 2008 22:21:18 +0100
Date: 2008-03-17T22:21:19+01:00 [thread overview]
Message-ID: <47dee0cf$0$6740$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <871w696pxz.fsf@ludovic-brenta.org>
Ludovic Brenta wrote:
> Alex R. Mosteo writes:
>> protected type Safe;
>> type Safe_Access is access all Safe;
>> function S return Safe_Access;
>>
>> S.Some_Procedure;
>> -- This fails with
>> -- Prefix of protected procedure or entry call must be variable
>>
> The compiler is correct.
>
> 6.4(9): "When there is an actual_parameter_part, the prefix can be an
> implicit_dereference of an access-to-subprogram value."
I think the parameter profile of Some_Procedure isn't the
issue here as Some_Procedure is just a procedure of
Safe, but not an access to procedure.
OTOH, S'Result points to a protected object and procedure
Some_Procedure is invoked with this (variable) object.
FWIW, another compiler is fine with the above.
next prev parent reply other threads:[~2008-03-17 21:21 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-17 16:34 Differences with/without .all Alex R. Mosteo
2008-03-17 20:42 ` Randy Brukardt
2008-03-17 20:44 ` Ludovic Brenta
2008-03-17 21:17 ` Eric Hughes
2008-03-17 21:21 ` Georg Bauhaus [this message]
2008-03-17 22:51 ` Adam Beneschan
2008-03-18 15:35 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox