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=-0.5 required=5.0 tests=BAYES_00,INVALID_MSGID,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,3b7d2943d4e48cd3
X-Google-Attributes: gid103376,public
From: thomas@cuivre.fr.eu.org (Thomas Quinot)
Subject: Re: generic formal primitive [dispatching] operation
Date: 2000/09/18
Message-ID: <8q5c2e$gkt$1@melusine.cuivre.fr.eu.org>#1/1
X-Deja-AN: 671227811
References: <39C5321E.805A73D1@free.fr>
X-Trace: melusine.cuivre.fr.eu.org 969290638 17057 127.0.0.1 (18 Sep 2000
 15:23:58 GMT)
Organization: Cuivre, Argent, Or : un Alliage M�tallique Indestructible
Newsgroups: comp.lang.ada
Date: 2000-09-18T00:00:00+00:00
List-Id: <comp.lang.ada>

Dans comp.lang.ada, Damien Carbonne  �crit :

>I would like to create a generic package that has, as formal parameters,
>a tagged type and some primitive dispatching operations on that type.
>
>I have tried this:
>
>generic
>   type Root is abstract tagged private;
>   with procedure P1 (This : access Root);

P1 is not a primitive operation of Root, because in instances of your
package, P1 denotes a view of the actual parameter, and does not
declare a subprogram. The subprogram denoted by P1 is thus not
declared in the same declarative_region as type Root, and therefore
does not qualify to be a primitive operation of Root.

It is unclear to me what you are trying to achieve. Could you be more
specific about what you actually want to do?

Thomas.

-- 
    Thomas.Quinot@Cuivre.FR.EU.ORG