Re: Fixed point constants issue

["Vinzent Hoefler" <nntp-2010-09@t-domaingrabbing.de>]

On Fri, 24 Sep 2010 23:38:11 +0200, Jeffrey Carter  
<spam.jrcarter.not@spam.not.acm.org> wrote:

> That is interesting. I learned Ada 83 in 1984; I was explicitly taught  
> that static universal (sub)expressions were evaluated exactly by the  
> compiler, using universal operations.

3.5.9 says:

Multiplication and division of fixed point values deliver results of a  
fixed point type with
an arbitrarily fine accuracy [...] which is referred to [...] as  
/universal_fixed/.

And then 4.5.8 (referenced by 3.5.9) seems quite clear about that:

The bounds on a real value resulting from a predefined operation are  
defined by the three
following steps:

(1) A model interval of the appropriate type or subtype is associated with  
the value of
     each operand.
(2) A new interval is formed by applying the (exact) mathematical  
operation to operands
     from the model intervals produced in step (1). [...]


Vinzent.

-- 
There is no signature.