Re: Interfacing to C and long long data type

[Simon Wright <simon.j.wright@mac.com>]

Adam Beneschan <adam@irvine.com> writes:

> I think the idea here is that the value of a portable program that
> does not have the functionality you need is 0.0, and so even though
> the functionality of the non-portable value is finite, when you
> divide to get a ratio you will get an infinite answer.  Well,
> actually, you'll get Constraint_Error but that's just a
> nitpick......

Depends on your compiler and the result type -- with GNAT, a
destination subtype of unconstrained Float will silently give you Inf
(which is invalid), whereas a destination subtype eg

   subtype F is Float range Float'First .. Float'Last

will give you Constraint_Error.