Re: Fixed point constants issue

["Markus Schöpflin" <no.spam@spam.spam>]

Am 27.09.2010 20:57, schrieb Jeffrey Carter:
 > On 09/27/2010 03:33 AM, Markus Schöpflin wrote:
 >>
 >> The implicit conversion from universal_real to ALTITUDE is only done
 >> when the operand is either a numeric literal, a named number, or an
 >> attribute. This rules out the first overload.
 >
 > I don't follow this.

Could you please elaborate?

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.

On the other hand, the line "TEN_FEET_3 : constant Altitude := TEN_FEET_1;" 
from the original example does use an implicit conversion, precisely 
because TEN_FEET_1 is a named number of type universal_real.

Or am I completely off track here?

Markus