GNAT: identifier for stub is not unique

GNAT: identifier for stub is not unique

[braver]

How in GNAT can we have two subunits for two overloaded functions with
the same name?  What should be they named?

Re: GNAT: identifier for stub is not unique

[Jeffrey R. Carter]

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."

-- 
Jeff Carter
"Don't knock masturbation. It's sex with someone I love."
Annie Hall
45

Re: GNAT: identifier for stub is not unique

[Robert A Duff]

"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

Re: GNAT: identifier for stub is not unique

[braver]

Bob -- awesome, thanks!  My faith in the naming freedom in Ada and
separate compilation is affirmed.

Cheers,
Alexy