Re: Generic primitives

["Matthew Heaney" <matthew_heaney@acm.org>]

In article <slrn7p4agv.2so.aidan@skinner.demon.co.uk>,
aidan@skinner.demon.co.uk (Aidan Skinner) wrote:


>Right, I'm wondering if it's possible to make a generic program a
>primitive operation of a class. 

I've been away from CLA for awhile, and so I'm not sure if anyone answered
your question.  The answer is, No, generic operations aren't primitive for
the type.

Mats Weber discussed this feature (flaw?) in his PhD thesis.  I don't have
the URL handy.

Can you make the operation class-wide?  What about making a (non-generic)
primitive operation that takes Bar as an argument (pointer to subprogram)?


>  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;