Re: Why does this work? (overloads)

["Jerry" <lanceboyle@qwest.net>]

On Feb 6, 11:45 pm, "Grein, Christoph (Fa. ESG)"
<Christoph.Gr...@eurocopter.com> wrote:
> > H := 1.0 + f * x; -- Adds scalar, 1.0, to a vector using my overload
> > above.
> > a := 1.0 + f * x; -- Adds scalar, 1.0, to another scalar, an inner
> > product.
>
> This feature is called overloading.
>
> For a problematic example, consider X := A*B*C; where all four are
> vectors.
>
> Is it (A*B) inner product * C resulting in vector or
>       (A*B) vector        * C resulting in vector.
> The compiler can't tell and will reject the code.

Hmm.... You're right, of course. Plus, (A*B) matrix * C where A*B is
taken as an outer product. The compiler did reject it, so at least
(with this example) I can't generate incorrect results, but I have to
tweak my code.

I wish that I could define new operators. I suppose there's always the
ugly:

        type Math_Operator is ('+', '-', '*', '/');
        function el(Left : Real_Vector; op : Math_Operator; Right :
Real_Vector) return Real_Vector is


Jerry