From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 8 Nov 91 05:14:47 GMT
From: cis.ohio-state.edu!magnus.acs.ohio-state.edu!paperboy.micro.umn.edu!cs.um
n.edu!uc.msc.edu!shamash!case@ucbvax.Berkeley.EDU  (Steven V. Case)
Subject: Is this valid Ada?
Message-ID: <37806@shamash.cdc.com>
List-Id: <comp.lang.ada>

The following code fragment compiles on two of the Ada compilers that I am
presently using.  However, on two other compilers that I am using it won't
compile.  The later two compilers provide an error message indicating that
the call to Is_This_Ambiguous is an ambiguous statement and references 
paragraph 8.7 of the LRM.

I have read paragraph 8.7 several times and cannot find anything that leads
me to believe that this code fragment is not legal.  Consequently, I don't
know which pair of compilers has a bug.  If the code is legal, then the
compilers issuing the error message have a bug.  If the code is illegal, 
then the compilers not issuing the error message have a bug.

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;

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