From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: type access Parent'Class
Date: Mon, 21 Nov 2011 14:45:18 -0500
Date: 2011-11-21T14:45:18-05:00 [thread overview]
Message-ID: <wccipmdp8dt.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: c3ca6466-741c-4d97-8128-9dd48221aa55@h21g2000yqg.googlegroups.com
Yukicanis <yukicanis@googlemail.com> writes:
> BTW, I just discovered that
>
> B := A.all'Access;
>
> also seems to work (with access all). But won't the rigth hand side
> result in an anonymous type again?
No, the type of Blah'Access is always taken from the context
(the expected type, which is the (named) type of B in this case).
- Bob
next prev parent reply other threads:[~2011-11-21 19:45 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-21 19:03 type access Parent'Class Yukicanis
2011-11-21 19:25 ` Adam Beneschan
2011-11-21 19:40 ` Yukicanis
2011-11-21 19:45 ` Robert A Duff [this message]
2011-11-21 19:46 ` Yukicanis
2011-11-21 23:45 ` Gene
2011-11-22 8:42 ` Dmitry A. Kazakov
2011-11-22 10:07 ` Georg Bauhaus
2011-11-22 13:27 ` Simon Wright
2011-11-22 16:13 ` Georg Bauhaus
2011-11-21 19:33 ` Robert A Duff
2011-11-21 19:44 ` Yukicanis
2011-11-24 10:33 ` Yannick Duchêne (Hibou57)
2011-11-24 11:18 ` Yukicanis
2011-11-21 21:09 ` Jeffrey Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox