Re: GNAT Error message

[Tucker Taft <stt@averstar.com>]

Thierry&Annick wrote:
> The GNAT error message after gnatchop'ed (gnatchop -q -r -w) is :
> test.ada:13:38: invalid operand types for operator "-"
> test.ada:13:38: left operand has type "Index_Type" defined at test.ada:2
> 
> test.ada:13:38: right operand has type "Index_Type" defined at
> test.ada:2
> gnatmake: "check.adb" compilation error
> 
> Ok, my fault : Index_Type should be "range <>" to have a "-" operator,
> but the error message is not clear.
> Anybody knows what will this message be with others compilers ?

Here is the "AdaMagic" error message, interspersed in the listing:

  ...
   13       This (Index) := Integer (Index - This'First);   -- Line 13
                                            *
*****Error: LRM:8.4(1) Binary operator "-" between Index_Type and Index_Type
*****        not directly visible, use clause or conversion might be needed
   14     end loop;
  ...

Not clearly better or worse, in my view, than the GNAT error message.

-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Commercial Division, AverStar (formerly Intermetrics)
(http://www.averstar.com/services/IT_consulting.html)  Burlington, MA  USA