From: hmj@tut.fi (Matti J{rvinen)
Subject: Re: Operator Overloading Resolution
Date: 9 Aug 88 13:58:57 GMT [thread overview]
Message-ID: <4548@tikli.tut.fi> (raw)
In-Reply-To: 30740@clyde.ATT.COM
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).
next prev parent reply other threads:[~1988-08-09 13:58 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-08-04 17:59 Operator Overloading Resolution rds
1988-08-08 14:20 ` wayne
1988-08-09 13:58 ` Matti J{rvinen [this message]
1988-08-10 13:05 ` rds
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox