From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3b7d2943d4e48cd3
X-Google-Attributes: gid103376,public
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: generic formal primitive [dispatching] operation
Date: 2000/09/18
Message-ID: <wccog1ln229.fsf@world.std.com>#1/1
X-Deja-AN: 671232990
Sender: bobduff@world.std.com (Robert A Duff)
References: <39C5321E.805A73D1@free.fr>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 2000-09-18T00:00:00+00:00
List-Id: <comp.lang.ada>

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