Re: Question on types conversions - operations

[sjw <simon.j.wright@mac.com>]

On Jun 15, 9:40 am, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
> sjw a écrit :>> With S := Speed(Float(L) / Float(T)) ? Mmmm ... not nice.
>
> Why not nice? You are performing (for good reasons) a non homogenous
> operation. Therefore you go to the no-dimension world (convert to
> Float), do your operation there, then return to the dimensioned world
> (convert to Speed).

There's nothing in the code as presented to make sure that
Distance'Base and Time'Base are both (even either!) Float.

I suppose if the code said Speed (Distance'Base (L) / Time'Base (T))
we would get a failure to compile if one was Float and the other
Long_Float.