From: Robert A Duff <bobduff@world.std.com>
Subject: Re: generic formal primitive [dispatching] operation
Date: 2000/09/18
Date: 2000-09-18T00:00:00+00:00 [thread overview]
Message-ID: <wccog1ln229.fsf@world.std.com> (raw)
In-Reply-To: 39C5321E.805A73D1@free.fr
Damien Carbonne <damien.carbonne@free.fr> writes:
> I would like to create a generic package that has, as formal parameters,
> a tagged type and some primitive dispatching operations on that type.
Try using a generic formal derived type. Declare the root type outside
the generic, with the primitive you want, and then declare a generic
formal type derived from that.
> 1) How is it possible to define a formal primitive operation on a tagged
> type that is:
> a) non dispatching (Root'Class ??)
Primitive = dispatching (for tagged types). Class-wide types are not
primitive.
> b) dispatching
See above.
> 2) In the case of class-wide operations, is there any difference between
> primitive and non primitive
> operations ? (I would say no ?)
A class-wide operation is *not* primitive.
- Bob
next parent reply other threads:[~2000-09-18 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <39C5321E.805A73D1@free.fr>
2000-09-18 0:00 ` Robert A Duff [this message]
2000-09-19 0:00 ` generic formal primitive [dispatching] operation Damien Carbonne
2000-09-19 0:00 ` Robert A Duff
2000-09-18 0:00 ` Thomas Quinot
2000-09-19 0:00 ` Damien Carbonne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox