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
Path: utzoo!attcan!uunet!mcvax!enea!tut!hmj
From: hmj@tut.fi (Matti J{rvinen)
Newsgroups: comp.lang.ada
Subject: Re: Operator Overloading Resolution
Message-ID: <4548@tikli.tut.fi>
Date: 9 Aug 88 13:58:57 GMT
References: <30740@clyde.ATT.COM>
Organization: Tampere University of Technology, Finland
List-Id: <comp.lang.ada>

In article <30740@clyde.ATT.COM> rds@clyde.ATT.COM (Richard DeSimine) writes:
>    result := left < -15;
>--------------------------------------------------------------------
>The expression -15 is evaluated to be of type INT_SCALAR.
>
>Shouldn't this be an ERROR?

Yes, it is.

>DECAda compiles this code without warning, implying the expression -15
>is an INTEGER type.

No, it does NOT imply expression -15 to be integer. The expression is of
type universal_integer, which DECAda correctly transforms to the same type than
variable left.



-- 
Hannu-Matti Jarvinen, Tampere University of Technology, Finland
hmj@tut.fi, hmj@tut.uucp, hmj@tut.funet (tut.ARPA is not the same computer).