Re: Fixed point constants issue

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 09/28/2010 01:16 AM, Markus Schöpflin wrote:
>
> To quote ARM83 4.6 again: "An implicit conversion of an operand of type
> [...] universal_real to another real type, can only be applied if the
> operand is either a numeric literal, a named number, or an attribute;
> [...]"
>
> So an implicit conversion will never be applied to the result of
> universal_integer * universal_real, as the operand of the conversion is
> an expression. But an implicit conversion to ALTITUDE would be needed
> for universal_integer * universal_real -> universal_real to be used.

Having read the section, I see what you're saying now. I was unclear because of 
the use of "operand"; I thought it referred to an operand of "*", but it refers 
to the operand of the implicit type conversion.

This does seem to indicate that

function "*" (Left : Integer; Right : Altitude) return Altitude;

is used in this case, and what I was taught is incorrect.

It would be nice to hear from someone who implemented an Ada-83 compiler. We 
know you're out there.

-- 
Jeff Carter
"People called Romanes, they go the house?"
Monty Python's Life of Brian
79