From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: conversions between fixed-point types
Date: Sun, 20 Sep 2009 10:22:59 -0400
Date: 2009-09-20T10:22:59-04:00 [thread overview]
Message-ID: <wccskehwv98.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: h94obl$c7h$1@news.albasani.net
Dirk Herrmann <fight_spam@invalid.invalid> writes:
> In particular I am disturbed by the fact that the following two lines
> produce different results with GNAT, as has been confirmed for GNAT
> 3.15p (thanks, tmoran):
I don't know, but it might have something to do with the rules for
evaluating static expressions. See RM-4.9. You also need to look at
G.2.3. I don't remember the exact rules for conversions of fixed
point, but I think they do allow some implementation freedom.
If you don't like that, then write code to make it do what
you want. Or use compatible delta/small values.
Note that the rules for decimal fixed point are different.
By the way, you can say:
for T'Small use T'Delta;
to avoid repeating yourself.
3.15p is very old. It would be a good idea to upgrade to a more recent
version.
- Bob
next prev parent reply other threads:[~2009-09-20 14:22 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-18 21:35 conversions between fixed-point types Dirk Herrmann
2009-09-18 22:42 ` Adam Beneschan
2009-09-19 12:41 ` Dirk Herrmann
2009-09-19 14:48 ` John B. Matthews
2009-09-20 8:15 ` Dirk Herrmann
2009-09-20 14:22 ` Robert A Duff [this message]
2009-09-20 18:55 ` Dirk Herrmann
2009-09-20 20:34 ` Simon Clubley
2009-09-23 20:46 ` Dirk Herrmann
2009-09-27 17:15 ` Simon Clubley
2009-09-27 19:22 ` sjw
2009-09-28 20:18 ` Dirk Herrmann
2009-09-28 18:37 ` Robert A Duff
2009-09-28 20:50 ` Dirk Herrmann
2009-09-20 15:18 ` John B. Matthews
2009-09-20 19:13 ` Dirk Herrmann
2009-09-20 20:09 ` tmoran
2009-09-21 17:24 ` Jeffrey R. Carter
2009-09-23 20:57 ` Dirk Herrmann
2009-09-23 22:28 ` Jeffrey R. Carter
2009-09-24 1:05 ` Adam Beneschan
2009-09-24 3:57 ` Jeffrey R. Carter
2009-09-25 8:47 ` Stuart
2009-09-25 20:41 ` sjw
2009-09-25 21:58 ` Jeffrey R. Carter
2009-09-28 13:40 ` Stuart
2009-09-26 14:43 ` Dirk Herrmann
2009-09-28 15:15 ` Adam Beneschan
2009-09-26 14:31 ` Dirk Herrmann
2009-09-19 18:38 ` tmoran
2009-09-20 8:22 ` sjw
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox