Re: Renaming an abstract function

["Nick Roberts" <nickroberts@adaos.worldonline.co.uk>]

"Mark Biggar" <mark.a.biggar@home.com> wrote in message
news:3BF6DE1F.6C31A357@home.com...
> ...
> There is an AI that addresses this problem:
[AI95-211]
> ...
> >An abstract subprogram can be renamed, and the renamed view is also
> >abstract. Such a renaming must appear in a place where the declaration
> >of an abstract subprogram would be legal. Similarly, the "shall be
>overridden"
> >property of 3.9.3(6) applies to a renamed view. Thus, any renaming of an
> >inherited subprogram that must be overridden is illegal.

Many thanks for pointing out this AI, Mark.

> This explains the compilation error as the renaming "*" is a must be
> overridden function as it has an abstract return type and thus is
> illegal.

I don't think the AI explains it at all, in fact. The renaming of "*" in my
example is not attempting to rename an inherited subprogram. The type T is a
root abstract type (not derived from anything), so the functions P and "*"
are not inherited.

--
Best wishes,
Nick Roberts