Re: How do I inherit generic subprograms defined for a parent type?

[Ted Dennison<dennison@telepath.com>]

In article <vc566britpb.fsf@grinch.htc.honeywell.com>, Steve Vestal says...
>I would like to declare another type as a derivation of that (parent) type.
>"Primitive subprograms" are inherited by a derived type from a parent type,
>but I can't figure out how to get generic subprograms defined for a parent
>type to be inherited as well.
>    type access_expression is private;  -- This will be used as a parent type.
..
>private
>    type expression is record
>        Datum: integer;
>    end record;
>    type access_expression is access expression;
>end Expression;

One thing that strikes me right of the bat is that your "parent type" is not
tagged. If its not tagged, you can still derive from it, but you won't inherit
any operations except the built-in ones (and you won't get most of those on the
outside if you make it "private"). You also won't be able to extend the type in
a derived type by adding new fields and new primitive operations. If that's what
you want, fine, but that's not the impression I got from reading your post.

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
          home email - mailto:dennison@telepath.com