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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!rds@moss.ATT.COM
From: rds@moss.ATT.COM
Newsgroups: comp.lang.ada
Subject: Overloading resolution
Message-ID: <31106@clyde.ATT.COM>
Date: 10 Aug 88 18:26:01 GMT
Sender: nuucp@clyde.ATT.COM
Reply-To: rds@clyde.ATT.COM (Richard DeSimine)
Organization: AT&T Bell Laboratories, Whippany NJ
List-Id: <comp.lang.ada>


I stand corrected.

According to LRM 4.10(6) the expression -15 alone in the previous letter 
is universal_integer. Its context implies it is whatever [legal] type 
shares the relational operator, and is evaluated as an INTEGER in the
expression "left < -15".

Thanks goes to Hannu-Matti Jarvinen and Robert Snyder for the
correction and the LRM reference.

Rich DeSimine