Re: Using a generic instance to implement a public subprogram?

["Peter C. Chapin" <pchapin@sover.net>]

Gautier wrote:


> No idea whether GNAT is right or not, but the following works (I came 
> across the same problem at least one time...):
> 
>    function Sqrt_internal is
>       new Unary_Operation(Operation => Elementary_Functions.Sqrt);
> 
>    function Sqrt(V : Vector) return Vector
>       renames Sqrt_internal;

Cool. I'll give that a try.

> Note that the compilation of your code with ObjectAda 7.2.2 fails too; 
> it says the following:
> "
> check.adb: Error: line 21 col 13 LRM:8.3(26), Illegal to override 
> declaration in same region, Introducing new declaration anyway

So it seems like the instantiation is regarded as a different thing than 
the subprogram mentioned in the specification. Yet because it has the 
same profile as the subprogram in the specification it "conflicts" with 
that earlier declaration. ObjectAda's use of the word "override" seems 
confusing; I don't think this has anything to do with overriding 
primitive operations. Or does it? Hmmm.

Thanks for your suggestion.

Peter