Re: How to catch NaNs with gnat3.14p

[dewar@gnat.com (Robert Dewar)]

"Marc A. Criley" <mcqada95@earthlink.net> wrote in message news:<3C5E79EB.72BE43D5@earthlink.net>...
> From an Ada practitioners point-of-view, however, the 
> fact that the predefined Integer is constrained, the 
> predefined Float is unconstrained, and 'Last works on 
> both seems odd.

But as I noted, the predefined type Integer'Base is also
unconstrained. So Float'Base and Integer'Base behave exactly the same.

The decision to make Integer constrained and Float unconstrained is a
pragmatic one that recognizes that
most people are perfectly happy to have extra float range
and a lot of hardware can only be used efficiently if float
is allowed to have extra range.

Once again, for base types, the base range is the minimum
range, guaranteed, but it is not a constraint.
> 
> I encountered this when working on my 
> ASIS_Expression_Resolver package a
> couple years ago. 

The ASIS definition is flawed here, I suspect that those
writing it did not understand the new Ada 95 treatment
of base types as unconstrained (the ASIS definition was
derived directly from Ada 83, so it does not always properly handle
Ada 95 features like this).