comp.lang.ada
 help / color / mirror / Atom feed
From: "Alex R. Mosteo" <devnull@mailinator.com>
Subject: Differences with/without .all
Date: Mon, 17 Mar 2008 17:34:55 +0100
Date: 2008-03-17T17:34:55+01:00	[thread overview]
Message-ID: <647ktoF2acjggU1@mid.individual.net> (raw)

Hello people,

Gnat is giving me an error depending on if I use the .all abbreviation or not.
I had the (unresearched) idea that there should be no differences besides the
aesthetic one[*], so I'm not sure if gnat's wrong or I'm (guess what ;) )

One way or the other, I'd like to know the explanation. The particular case
that is giving me problems in GPL 2007 is:

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

S.all.Some_Procedure;
--  This compiles and runs OK.

Your judgment?

Alex.

[*] Exception possibly being constructions of this kind:
S.all'Access
which may be not equivalent to the original access type ("S'Type")?



             reply	other threads:[~2008-03-17 16:34 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-03-17 16:34 Alex R. Mosteo [this message]
2008-03-17 20:42 ` Differences with/without .all Randy Brukardt
2008-03-17 20:44 ` Ludovic Brenta
2008-03-17 21:17   ` Eric Hughes
2008-03-17 21:21   ` Georg Bauhaus
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