Re: Fixed-point question

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

On 06/27/2015 12:20 PM, Bob Duff wrote:
> 
> Because of RM-8.6(29).  Actually, it's the root_real operator;
> universal_real has no operators.  Without the preference rule
> of 8.6(29), it would be ambiguous.  As you said, it's calculating
> an exact rational number (at compile time), and converting that.

Root_Real, right. I still tend to think in terms of the rules for Ada 83.

So for C1, the compiler is looking for a visible "/" that yields a result that
can be converted to Fixed_Type. These include those for at least Root_Real,
Float, Duration, and Fixed_Type. 8.6(29) results in Root_Real's "/" being selected.

For C2, the compiler is looking for a visible "/" that yields a result of
Fixed_Type, and only Fixed_Type's "/" does that.

Is that anything close to correct?

-- 
Jeff Carter
"My brain hurts!"
Monty Python's Flying Circus
21