Re: GNAT messages and the not operator (pitfall alert!)

[whiting_ms@corning.com (whiting_ms@corning.com (Matt Whiting))]

In article <dewar.846163972@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Here is another pitfall, pretty horrible if it hits, but fortunately rare.
> Ask an Ada expert what is the value of
> 
>     -5 mod 3
> 
> Almost anyone (the better they know Ada, the more likely they are to make
> this mistake) will strain to remember the table in the RM that talks about
> negative mods, and, if they remember it right, come up with the answer of 1.
> But Ada has VERY odd precedence rules which mean that the default
> parenthesiztion of this expression is -(5 mod 3). The only person I
> ever knew to get this right (and remember this is under conditions they
> know they are being asked to answer a trick question) was Robert Eachus
> (both Jean and Tuck got this wrong originally, and so did I :-)

I'm really confused now.  How does -(5 mod 3) yield 1?  I thought 5 mod 3 would
evaluate to 2 and then the unary minus would yield -2.  Will someone provide a
play-by-play evaluation sequence for this expression?

Matt