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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ab70d73db4e3823,start
X-Google-Attributes: gid103376,public
From: aidan@skinner.demon.co.uk (Aidan Skinner)
Subject: Generic primitives
Date: 1999/07/18
Message-ID: <slrn7p4agv.2so.aidan@skinner.demon.co.uk>#1/1
X-Deja-AN: 502488139
X-NNTP-Posting-Host: skinner.demon.co.uk:158.152.76.219
X-Trace: news.demon.co.uk 932331416 nnrp-04:4493 NO-IDENT
 skinner.demon.co.uk:158.152.76.219
Organization: None
User-Agent: slrn/0.9.5.4 (UNIX)
Reply-To: aidan@skinner.demon.co.uk
Newsgroups: comp.lang.ada
X-Complaints-To: abuse@demon.net
Date: 1999-07-18T00:00:00+00:00
List-Id: <comp.lang.ada>

Right, I'm wondering if it's possible to make a generic program a
primitive operation of a class. Basically I want this to work:

--begin code fragment--

  declare
  type Foo is abstract tagged private;

  generic
     with procedure Bar (Flibble : in Foo);

  procedure Tribble (Flibble : in Foo) is abstract;

  type Fubar is new Foo with null record;

  procedure Tribble (Flibble : in Fubar) is

  begin
     Bar (Flibble);
  end Tribble;

  type Wibble is new Fubar;

  Wibble1 : Wibble;

  Tribble (Wibble1);

  end;

--end code fragment--

Currently GNAT thinks that there should be a semicolon after the
partenthesis at the declaration of trrible and that tribble isn't a
primitive operation.

How do I get around this?

- Aidan
--
http://www.skinner.demon.co.uk/aidan/
How much can could ICANN can if ICANN could can-can?