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 Lines: 21 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).