From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Primitive Operations Question
Date: 1996/07/31
Date: 1996-07-31T00:00:00+00:00 [thread overview]
Message-ID: <DvFC1u.FJG@world.std.com> (raw)
In-Reply-To: 31FE812C.7B3D@ix.netcom.com
In article <31FE812C.7B3D@ix.netcom.com>,
Vance Christiaanse <cintech@ix.netcom.com> wrote:
>Much to my dismay, the following procedure compiles on the WebAda
>(GNAT 3.04) compiler. By my reading of RM95 3.2.3, A and B don't
>fit any part of the definition of primitive operations, so I
>don't see why iheritance seems to be occurring.
I agree. Sounds like a compiler bug.
>... When I replace
>all three types with a hierarchy of tagged types, both calls
>fail to compile, as I would have expected.
Strange. The word "tagged" appears nowhere in the definition in of
"primitive subprogram" in 3.2.3, so it shouldn't make any difference.
- Bob
next prev parent reply other threads:[~1996-07-31 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-30 0:00 Primitive Operations Question Vance Christiaanse
1996-07-31 0:00 ` Robert A Duff [this message]
1996-07-31 0:00 ` Vance Christiaanse
1996-08-01 0:00 ` Robert A Duff
1996-08-01 0:00 ` Vance Christiaanse
1996-07-31 0:00 ` Jon S Anthony
1996-07-31 0:00 ` Tucker Taft
1996-07-31 0:00 ` Samuel Tardieu
1996-08-01 0:00 ` Jon S Anthony
1996-08-01 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox