Disambiguation

Disambiguation

[Alex R. Mosteo]

Hello, see this test program:

procedure Test_Ambig is

    type X is (Data, Meta);

    procedure Foo (Data : in Natural) is
       Z : constant X := Meta;
    begin
       case Z is
--         when Data     => null;
--         when X'(Data) => null;
--         when X.Data   => null;
--         when X (Data) => null;
          when Meta       => null;
       end case;
    end Foo;

begin
    null;
end Test_Ambig;

-----

I've tried the four commented lines (though I'm pretty sure three of 
them don't make sense) to get this to compile with Gnat for linux (3.4.2 
and all GAP releases). I think this is one of these cases where the 
answer is obvious but you need the eyes of other person. Is there some 
way to qualify "Data" as the enumeration type instead of the procedure 
parameter? Or is this simply a no-no caused by hiding? Thanks!

Re: Disambiguation

[Duncan Sands]

Use Test_Ambig.X

Re: Disambiguation

[Alex R. Mosteo]

Duncan Sands wrote:
> Use Test_Ambig.X

Arrrrr. Thanks!

Re: Disambiguation

[Martin Dowie]

Duncan Sands wrote:
> Use Test_Ambig.X

Test_Ambig.Data surely?

Cheers

-- Martin

Re: Disambiguation

[Jeffrey Carter]

Alex R. Mosteo wrote:
> Hello, see this test program:

Everything in Ada has a complete name starting with Standard.

> 
> procedure Test_Ambig is

this is Standard.Test_Ambig.

> 
>    type X is (Data, Meta);

These are Standard.Test_Ambig.X, Standard.Test_Ambig.Data, & 
Standard.Test_Ambig.Meta.

> 
>    procedure Foo (Data : in Natural) is

These are Standard.Test_Ambig.Foo and Standard.Test_Ambig.Foo.Data.

>       Z : constant X := Meta;

This is Standard.Test_Ambig.Foo.Z.

Generally, you can leave off the "Standard." :)

-- 
Jeff Carter
"No one is to stone anyone until I blow this whistle,
do you understand? Even--and I want to make this
absolutely clear--even if they do say, 'Jehovah.'"
Monty Python's Life of Brian
74