Re: Shortcut logicals (was: Re: F200x )

[Christoph Grein <christoph.grein@eurocopter.com>]

 > Robert A Duff wrote:
 >
 > > And the syntax rules forbid mixing "and" and "and then" -- you have to
 > > use parens.??All?of?these?("and",?"and?then",?"or",?"or?else",?"xor")
 > > are lower precedence than most other operators in Ada.??So?you?can
 > > write:
 >
 > Are you sure? I did not find anything in the RM to support that. I 
checked
 > both the RM and AARM:

Martin,
of course Robert is sure, if not, who else - you should know, he's 
deeply involved in Ada development.

See RM 4.4(2..7).

You'll find
relation and relation gives an expression,
relation and then relation also gives an expression.

But there is no syntax rule to combine an expression with a relation.
You can only combine a parenthesized expression (a primary) with a relation.

 > http://www.adaic.com/standards/95lrm/html/RM-4-5-1.html
 > http://www.adaic.com/standards/95aarm/html/AA-4-5-1.html
 >
 > (To the Fortran comunity: the the first is the general public 
version, the
 > later the compiler vendor version).

More precisely: The first is the binding reference manual, the second 
has further discussions, explanations and rationales without any binding 
character. Of course there should be no contradictions between the two.

 > Martin