From: Samuel Tardieu <sam@inf.enst.fr>
To: cintech@ix.netcom.com
Subject: Re: Primitive Operations Question
Date: 1996/07/31
Date: 1996-07-31T00:00:00+00:00 [thread overview]
Message-ID: <qw6k9vkvgdb.fsf@gargantua.enst.fr> (raw)
In-Reply-To: 31FE812C.7B3D@ix.netcom.com
>>>>> "Vance" == Vance Christiaanse <cintech@ix.netcom.com> writes:
Vance> Hello! Much to my dismay, the following procedure compiles on
Vance> the WebAda (GNAT 3.04) compiler. By my reading of RM95 3.2.3,
Vance> A and B don't fit any part of the definition of primitive
Vance> operations, so I don't see why iheritance seems to be
Vance> occurring. When I replace all three types with a hierarchy of
Vance> tagged types, both calls fail to compile, as I would have
Vance> expected.
The 6th paragraph on the section you cite (3.2.3):
"For a specific type declared immediately within a
package_specification, any subprograms (in addition to the
enumeration literals) that are explicitly declared immediately
within the same package_specification and that operate on the type;
"
The only thing that bugs me is that "package_specification" is not
(from RM7.1(3)) supposed to match any declarative part.
Sam
--
"La cervelle des petits enfants, ca doit avoir comme un petit gout de noisette"
Charles Baudelaire
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 ` Samuel Tardieu [this message]
1996-07-31 0:00 ` Tucker Taft
1996-07-31 0:00 ` Robert A Duff
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-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