From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,388fc53f584bd695
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.netcologne.de!newsfeed-fusi2.netcologne.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Vinzent Hoefler" <nntp-2010-09@t-domaingrabbing.de>
Newsgroups: comp.lang.ada
Subject: Re: Fixed point constants issue
Date: Sat, 25 Sep 2010 00:42:59 +0200
Message-ID: <op.vjj6px2cd20q5n@jellix.jlfencey.com>
References: <op.vizer4qnd20q5n@jellix.jlfencey.com>
 <1f0l0baynq1x7$.phl9cqpwcr37.dlg@40tude.net>
 <op.vizhg5ygd20q5n@jellix.jlfencey.com> <8f7b0nF6hfU1@mid.individual.net>
 <i6m1v2$e5b$1@adenine.netfront.net> <i7idee$8ag$1@speranza.aioe.org>
 <i7j6gn$amc$1@tornado.tornevall.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
X-Trace: individual.net gg5MX41nlLO3WSFVQ+VVPgmSaauQj8myB+rnbsghhGmRVYRiff
Cancel-Lock: sha1:Wg74Sod0OqmMzjtWKSXgwwy7X6s=
User-Agent: Opera Mail/10.62 (Win32)
Xref: g2news1.google.com comp.lang.ada:14247
Date: 2010-09-25T00:42:59+02:00
List-Id: <comp.lang.ada>

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.