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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!sri-unix!hplabs!pesnta!peora!ucf-cs!novavax!hcx1!notes
From: notes@hcx1.UUCP
Newsgroups: comp.lang.ada
Subject: Re: BITNET mail follows
Message-ID: <127@hcx1.UUCP>
Date: Thu, 20-Nov-86 13:28:04 EST
Article-I.D.: hcx1.127
Posted: Thu Nov 20 13:28:04 1986
Date-Received: Fri, 21-Nov-86 20:26:10 EST
Sender: notes@hcx1.UUCP
Organization: Harris CSD, Fort Lauderdale, Florida
Nf-ID: #R:ucbvax:-2114654900:hcx1:5300001:000:490
Nf-From: hcx1!joes    Nov 20 11:13:00 1986
List-Id: <comp.lang.ada>


Although it is true that your program is syntactically correct, according
to ARM 4.1.3.18: "If the prefix is the name of an enclosing subprogram
or accept statement and if there is more than one visible enclosing
subprogram or accept statement of this name, the expanded name is
ambiguous, independently of the selector." In the case of an operator
symbol, there will ALWAYS be another visible enclosing subprogram with
the same name, therefore the chosen selected component is ambiguous.