Re: Why does this work? (overloads)

["Adam Beneschan" <adam@irvine.com>]

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

                     -- Adam