Re: fixed type (delta) in ada

[Preben Randhol <randhol@pvv.org>]

Al Christians <achrist@easystreet.com> writes:

| I don't see anything in Barnes that matches my example very well.
| I'll guess that the compiler sees Money_Io.Put(351.00 * 0.20) and
| decides that it has to find a multiplication operator that yields
| a Money result to match the type of Money_Io.Put's parameter. The 
| only possibility is to multiply two Money's together, so the 
| 351.00 and 0.20 get converted automatically before the multiply,
| producing the 68.55 result. Money_Io.Put(Money(351.00 * 0.20)) will 
| give the more accurate 70.2 result. 


With my limited knowledge of Ada95 I would assume that as
Money_IO.Put() expects a type of Money the operator "*" is the
derivative function: 

function "*" (Left,Right : Money'Base) return Money'Base; 

(Not quite sure if 'Base is needed) And thus uses this. 
As is the latter example it uses:

function "*" (Left,Right : Float'Base) return Float'Base;

as Money will type cast it from Float to Money.

Is this correct? 

-- 
Preben Randhol -- [randhol@pvv.org] -- [http://www.pvv.org/~randhol/]     
"Det eneste trygge stedet i verden er inne i en fortelling." 
                                             -- Athol Fugard