Re: Unary operator after binary operator: legal or not? => Compiler Error

[anon@anon.org (anon)]

In <h%Bri.384485$p47.369566@bgtnsc04-news.ops.worldnet.att.net>, anon@anon.org (anon) writes:
>This maybe a compiler error.  It seams that my GNAT 2.1 from (NYC) as 
>well as my GNAT 4.3 (GNU) and my Adacore GNAT 2005 (GPL) all state 
>the same that it there is a "missing operand". But if you use the 
>following:
>       return "+"(Left) & "+"(Right);
>or 
>       return (+Left) & (+Right);
>they both work
>
>From LRM 4.4 .. 4.5 and LRM 6.6 states that the unary functions can be 
>redefined.  The reason I say this may be an compiler error is because 
>the following will still give the same error: 
>
>Compiling: xyz.adb (source file time stamp: 2007-07-30 03:00:04)
>
>     1. 
>     2. function Xyz (Left, Right : in integer) return integer is
>     3. 
>     4. begin -- Xyz
>     5.     if +Left <= +Right then
>     6.        return +Left * +Right;
>                             |
>        >>> missing operand
>
>     7.     end if;
>     8. end Xyz;
>

Forgot to add, in my modified math version, if you replace the "+Right" 
with "+7" which is a simple_expression it still will give an error. And 
because you could replace the "+7" with "-7", for negative numbers, 
which is also a simple_expression you still get an error. This means you 
have found a compiler error!

This needs to be reported!


>In <KYtri.46105$Fc.35820@attbi_s21>, "Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org> writes:
>>Here's something confusing I encountered:
>>
>>with Ada.Strings.Unbounded;
>>
>>function Xyz (Left, Right : in Ada.Strings.Unbounded.Unbounded_String)
>>return String is
>>    function "+" (Right : in Ada.Strings.Unbounded.Unbounded_String)
>>    return String renames Ada.Strings.Unbounded.To_String;
>>begin -- Xyz
>>    if +Left <= +Right then
>>       return +Left & +Right;
>>       --            ^ Error reported here.
>>    end if;
>>end Xyz;
>>
>>A compiler reports "missing operand", referencing the space after the "&".
>>
>>Why then does it accept the comparison in the previous line? Both are
>>
>>+Left [binary operator] +Right
>>
>>-- 
>>Jeff Carter
>>"Have you gone berserk? Can't you see that that man is a ni?"
>>Blazing Saddles
>>38
>