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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3b4bed4f74b8ac49
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: GNAT messages and the not operator (pitfall alert!)
Date: 1996/10/30
Message-ID: <dewar.846711285@merv>#1/1
X-Deja-AN: 193688270
references: <dewar.846162354@merv> <dewar.846163972@merv>
 <32762A30.D2D@watson.ibm.com> <1996Oct29.145959.1@corning.com>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-10-30T00:00:00+00:00
List-Id: <comp.lang.ada>


iMatt asks

"Relative to the page 245 warning and the table on page 246, I'm still confused.
I'm probably beating a dead horse here, but something still doesn't seem right.
If I'm reading the p. 246 table correctly, -5 mod 4 (row 1, column 4, excluding
the "header row and column"), should evaluate to 3.  However, I just wrote a
simple little program using ObjectAda V7.0 which evaluates to -1, which, BTW,
is what I would have expected.  Taking into account the warning on p. 245, I
also tried -(5 mod 4).  It does give the identical -1 result.  Am I reading the
table incorrectly?"

Yes, you are beating a dead horse :-)

The table does not tell you what happens if you write -5 mod 4 , it tells
you the result of the mod operation if the left operand is -5 and the 
right operand is 4. The WHOLE POINT OF THE ORIGINAL POST is that these
are different!