Generic primitives

[aidan@skinner.demon.co.uk (Aidan Skinner)]

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?