Re: Overhead for type conversions?

["Randy Brukardt" <randy@rrsoftware.com>]

"Bobby D. Bryant" <bdbryant@mail.utexas.edu> wrote in message
news:pan.2003.07.25.01.01.43.5699@mail.utexas.edu...
>
> Given these declarations -
>
>    type f1 is new float;
>    type f2 is new float;
>
>    function "*"( left : in f1; right : in f2 ) return f1 is
>    begin
>       return( left * f1( right ) );
>    end "*";

Matt answered your original question correctly, I think.

But I wanted to point out that you are likely to get into trouble with
expressions containing literals if you actually have such declarations in
your program.

    V1, V2 : F1;

    V2 := V1 * 12.0; -- Ambiguous (12.0 could have type F1 or F2).
    V2 := V1 * F1'(12.0); -- OK.

So you might have to modify essentially all literal uses in that code.

                        Randy.