From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c44ee8971ec5741c,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Disambiguation
Date: Fri, 24 Jun 2005 14:00:49 +0200
Message-ID: <42BBF5F1.3050707@mailinator.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net f3OU0rrtYZkZhCuSbx5FsACm0Z/6XwtUgaNzqxj8ArEBUt/dw=
User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317)
X-Accept-Language: en-us, en
Xref: g2news1.google.com comp.lang.ada:11614
Date: 2005-06-24T14:00:49+02:00
List-Id: <comp.lang.ada>

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!