comp.lang.ada
 help / color / mirror / Atom feed
From: "Marc A. Criley" <mcqada95@earthlink.net>
Subject: Re: How to catch NaNs with gnat3.14p
Date: Sun, 03 Feb 2002 13:27:41 GMT
Date: 2002-02-03T13:27:41+00:00	[thread overview]
Message-ID: <3C5D2D77.288208B0@earthlink.net> (raw)
In-Reply-To: 5ee5b646.0202011222.e4cd3cf@posting.google.com

Robert Dewar wrote:
> 
>  Remember that float and long_float are
> unconstrained types in Ada 95.

When I fully realized a few years ago that the predefined Float type,
unlike Integer, is an unconstrained type, it did make me wonder by what
rationale Float'Last has a value, since 'Last "denotes the upper bound
of the range of S" [3.5 (13)].  Of course in practical implementations
Float would have an upper bound, but the notion of an unconstrained type
having an upper bound seems awkward.

Marc A. Criley
Consultant
Quadrus Corporation
www.quadruscorp.com



  reply	other threads:[~2002-02-03 13:27 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-02-01 13:49 How to catch NaNs with gnat3.14p Alexander Boucke
2002-02-01 14:18 ` Preben Randhol
2002-02-01 14:37   ` Alexander Boucke
2002-02-01 14:55     ` Preben Randhol
2002-02-01 14:59       ` Alexander Boucke
2002-02-01 15:30         ` Preben Randhol
2002-02-01 16:10           ` Alexander Boucke
2002-02-01 16:10             ` Jeffrey Creem
2002-02-02  6:23               ` Robert Dewar
2002-02-02  6:21     ` Robert Dewar
2002-02-04  8:57       ` Alexander Boucke
2002-02-02  6:20   ` Robert Dewar
2002-02-02 12:49     ` Preben Randhol
2002-02-02 22:56       ` Robert Dewar
2002-02-01 20:22 ` Robert Dewar
2002-02-03 13:27   ` Marc A. Criley [this message]
2002-02-03 23:06     ` Robert Dewar
2002-02-04 13:05       ` Marc A. Criley
2002-02-05  1:06         ` Robert Dewar
replies disabled

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