Re: GNAT: identifier for stub is not unique

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org> writes:

> braver wrote:
>> How in GNAT can we have two subunits for two overloaded functions with
>> the same name?  What should be they named?
>
> You cannot. This is not a GNAT issue; this restriction is part of the
> language (ARM 10.1.3): "The defining_identifiers of all body_stubs that
> appear immediately within a particular declarative_part shall be
> distinct."

That's right, but you can use renaming to get around this restriction:

package P is
    procedure Overloaded(X: Integer);
    procedure Overloaded(X: Boolean);
end P;

package body P is
    procedure Integer_Op(X: Integer) is separate;
    procedure Boolean_Op(X: Boolean) is separate;

    procedure Overloaded(X: Integer) renames Integer_Op;
    procedure Overloaded(X: Boolean) renames Boolean_Op;
end P;

The "is separate"s are required to have different names, but you can use
overloading in the interface for clients nonetheless, if that's what you
want.

- Bob