From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Problem with controlled types
Date: 1998/12/14
Date: 1998-12-14T00:00:00+00:00 [thread overview]
Message-ID: <wccww3ujz2m.fsf@world.std.com> (raw)
In-Reply-To: 753cnv$3sq$1@nnrp1.dejanews.com
bourguet@my-dejanews.com writes:
> package Pkg is
>
> type A is private;
> -- operations on B
>
> type B is private;
>
> function Get_B (I: A) return B;
> -- other operations on B
>
> private
>
> type A is new Ada.Finalization.Controlled with record
> ...
> end record;
>
> type B is new Ada.Finalization.Controlled with record
> ...
> end record;
>
> end pkg;
>
> ObjectAda complain that the Get_B function is primitive on two tagged
> types, and that is not allowed.
>
> Gnat compile and run correctly (as A'Class contains only A and
> B'Class only B, this is not strange).
>
> Now, which one is correct?
ObjectAda.
- Bob
--
Change robert to bob to get my real email address. Sorry.
next prev parent reply other threads:[~1998-12-14 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-14 0:00 Problem with controlled types bourguet
1998-12-14 0:00 ` Robert A Duff [this message]
1998-12-14 0:00 ` Matthew Heaney
1998-12-14 0:00 ` Tom Moran
1998-12-14 0:00 ` Tucker Taft
1998-12-14 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox