Re: Why does this work? (overloads)

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Adam Beneschan" <adam@irvine.com> writes:

> On Feb 7, 11:02 am, "Jeffrey R. Carter" <jrcar...@acm.org> wrote:
>
>> You should be able to say
>>
>> V := T'(F) (5);
>>
>> to indicate a call to F1, but GNAT complains, saying a binary operator
>> is expected between ')' and '('. This seems to be a compiler error.
>> T'(F) should be a value of type T, which can then be indexed. After all,
>> you can say
>>
>> X : constant T := T'(F);
>>
>> V : Integer := X (5);
>
> No, the compiler is right.  The problem here is that the syntax of Ada
> says that an index can be applied to a "name", but a qualified
> expression is not a "name".  I griped about this in AI05-0003.  See
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AI05s/AI05-0003-1.TXT?
> rev=1.1

Right -- it's a language bug, not a compiler bug.

- Bob