Re: Negative float problem

[Jean-Pierre Rosen <rosen@adalog.fr>]

Jeffrey R. Carter a �crit :
> Jean-Pierre Rosen wrote:
> 
>> Since you are new to Ada, there is something that you must understand. 
>> The Ada language has been designed in such a way that either a 
>> construct always works, and works the same with every implementation, 
>> or does not compile. There is no space for "sometimes", "maybe", 
>> "depends", and other things like that that are common in other languages.
> 
> 
> Mostly. There are a number of "implementation defined" parts of the 
> language. What's the range of type Integer? At least that of a 16-bit 
> signed twos-complement integer, but often more. Luckily, you can define 
> your own integer types that match your application's needs, and not have 
> to rely on the predefined numeric types, as you have to do in most other 
> languages.
> 
> SPARK gets rid of most implementation-defined things, but type Integer 
> is still in there ...
> 
Sure, there are parts that are "implementation defined", but at least, 
you know precisely what they are. And bear in mind that "implementation 
defined" does not necessarily mean "non portable" (depends on your 
definition of "portable"). For example:

type Biggest_Int is range System.Min_Int .. System.Max_Int;

The range will vary with the implementation, but it will always be the 
biggest integer type available on your system.

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr