Re: prefix of dereference must be a name?

[Adam Beneschan <adam@irvine.com>]

On Jul 30, 12:35 pm, "John B. Matthews" <nos...@nospam.invalid> wrote:

> Interesting. The compiler was happy with a function call:
>
> A.all := "+"(C, B).all;
>
> but a use_type_clause didn't seem to help.

Right, because (C + B).all just doesn't fit into the syntax.  USE TYPE
makes certain functions visible that wouldn't otherwise be directly
visible, but it doesn't change the syntax rules.  (If "+" weren't
visible at all, then you'd get an error with

   "+"(C,B).all

but it wouldn't be a syntax error; the error would be that the
compiler didn't know what "+" meant.  This could be hypothetically
fixed with something like

   Some_Package."+"(C, B).all

USE TYPE can also fix that problem by making "+" directly visible,
i.e. visible without needing a package name.  But it still can't make
illegal syntax illegal.)

                                -- Adam