Re: Is this valid Ada?

[aio!sweetpea.jsc.nasa.gov!yow@eos.arc.nasa.gov (Bill Yow)]

In article <37806@shamash.cdc.com>, case@shamash.cdc.com (Steven V. Case) write
s:

|> Anyone care to offer an opinion?
|> 
|> ----------------------------------------
|> 
|> PACKAGE Ambiguous_Type IS
|> 
|>   TYPE Is_This_Ambiguous IS NEW Integer;
|> 
|> END Ambiguous_Type;
|> 
|> ----------------------------------------
|> 
|> WITH Ambiguous_Type; USE Ambiguous_Type;
|> 
|> PROCEDURE Test IS
|> 
|>   PROCEDURE Is_This_Ambiguous IS
|>   BEGIN
|>     NULL;
|>   END Is_This_Ambiguous;
|> 
|> BEGIN
|> 
|>   Is_This_Ambiguous;
|> 
|> END Test;
|> 


Yes, it is legal.

The two compilers that correctly compiled the program realized that 

  begin
    Is_This_Ambiguous;
  end test; 

has to be a call to the procedure Test.Is_This_Ambiguous because having the
Ambiguous_Type.Is_This_Ambiguous type there would have been an error.

Would having the type there be a Syntactic or Semantic error?

The other two compilers are being lazy and not looking at what the overloaded
symbol is (type, procedure).

Now the question is, should not all Ada compilers compile this?

I could see this error causing major portability problems for someone.



|> ----------------------------------------
|> -- 
|>   ____  ____        Steve Case - HQG526           email: case@shamash.cdc.co
m
|>  / ___||___ \       Control Data Corporation      AT&T : (612) 853-3345
|> | |___  ___| |      3101 East 80th Street                 
|>  \____||____/       Bloomington, MN 55425

						Later,
						Bill Yow
						(713) 283-4051
						yow@sweetpea.jsc.nasa.gov
						byow@mcimail.com

My opinions are my own!