comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: S'Is_nan or S'Is_inf?
Date: Mon, 19 Jul 2010 18:15:03 -0500
Date: 2010-07-19T18:15:03-05:00	[thread overview]
Message-ID: <i22m9q$cd4$1@munin.nbi.dk> (raw)
In-Reply-To: Xns9DB6AD1651560WarrensBlatherings@81.169.183.62

"Warren" <ve3wwg@gmail.com> wrote in message 
news:Xns9DB6AD1651560WarrensBlatherings@81.169.183.62...
> Is there any is not-a-number or is-infinity test support in
> Ada05+ (for floats)?  Is there any being planned?

We considered it for Ada 2005 (see AI95-0315-1). It was abandoned because of 
the large impact on implementations and the weak demand (hardly any user 
requests).

John Barnes mentions this in the Ada 2005 Rational: 
http://www.adaic.com/standards/05rat/html/Rat-9-3-3.html

It wasn't resurrected for Ada 2012, so there won't be any change here.

BTW, GNAT seems to pass through a lot of IEEE stuff, thus you can write 
examples using that. Other Ada compilers (at least as of 2003-4 timeframe) 
vary widely in what is exposed (Janus/Ada only supports IEEE denormal 
numbers; everything else raises Constraint_Error before it is stored).

                                  Randy.







  parent reply	other threads:[~2010-07-19 23:15 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-07-15 21:00 S'Is_nan or S'Is_inf? Warren
2010-07-15 21:30 ` Rod Chapman
2010-07-15 22:03   ` Simon Wright
2010-07-15 21:42 ` J-P. Rosen
2010-07-15 22:07 ` Simon Wright
2010-07-16  8:42   ` Dmitry A. Kazakov
2010-07-16 17:06     ` Warren
2010-07-16 19:39       ` Dmitry A. Kazakov
2010-07-16 22:35     ` Warren
2010-07-17  6:24       ` Simon Wright
2010-07-19 17:04         ` Warren
2010-07-17  7:40       ` Dmitry A. Kazakov
2010-07-19 17:18         ` Warren
2010-07-19 23:15 ` Randy Brukardt [this message]
2010-07-20 14:12   ` Warren
2010-07-20 16:20     ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox