Re: Dispatch on the result still does not work?

[Adam Beneschan <adam@irvine.com>]

On Jul 13, 8:13 am, Adam Beneschan <a...@irvine.com> wrote:
> I think this also works:
>
>      X : T'Class := S'(Value);
>   begin
>      declare
>         function T_Value return T renames Pak1.Value;
>      begin
>         X := T_Value;
>      end;
>
> Again, the rename helps the compiler determine unambiguously which
> Value subprogram is intended, but it doesn't change the fact that the
> call to it is tag-indeterminate.  I'd need to pore over the rules more
> closely to make sure of this, however.

OK, I think I got this part wrong.  The AARM says that whether a call
on a subprogram rename is a dispatching operation depends on where the
renaming operation is declared, not on what it renames; here, the
rename is not a primitive subprogram (even though the thing it renames
*is* primitive), so the call on T_Value is not a dispatching operation
and thus can't be tag-indeterminate, and therefore the assignment
statement is illegal.  GNAT might be getting this wrong.

                                  -- Adam


>
> Anyway, the important thing to remember is that the compiler first has
> to determine which declaration is meant by every identifier in a
> statement, and only *then* can it think about whether a call is
> dispatching or not.
>
> Hope this helps,
>
>                                        -- Adam- Hide quoted text -
>
> - Show quoted text -