Re: class-wide objects

[Francois Godme <fgodme@magic.fr>]

Stephen Leake wrote:

> Another way to make an operation non-primitive is to use 'class:
>
> function Copy (Stack : Stack_Type'class) return Stack_Access;
>
> I've been flip-flopping about which way is "best". Using 'class
> sometimes implies re-dispatching in the body, but not always. If the
> non-primitive operations belong in a group (like Constructors), then
> the local package seems neat. But for other operations, a local
> package is just noise, and 'class seems preferable.
>
> -- Stephe

I agree entirely. I do the same as you do.