Re: Extra footnote: Re: Size of Vector limited to 1024 MB of Heap Size

[anon@anon.org (anon)]

RM for Ada 95 and Ada 2005 -- 3.5.4 ( 21 ) : says that an Integer must 
include the range

  -2**15+1 .. +2**15-1   aka     -32768 .. +32767

but it is not limited to that range. Check RM 3.5.4  ( 26 ).
The norm for PC's Integer is -2**32+1 .. +2**32-1

To verify what the true range is on your Ada system look at the 
Standard package.  For GNAT it is build into the compiler so type 
"gnat standard >standard.ads"

Then look at file "standard.ads" you will see lines:

package Standard is
pragma Pure(Standard);

   type Boolean is (False, True);


   type Integer is range -(2 ** 31) .. +(2 ** 31 - 1);

   subtype Natural  is Integer range 0 .. +(2 ** 31 - 1);
   ...
end Standard;


Or try this program
--
-- i.adb
-- 
  with Ada.Text_IO ;
  use Ada.Text_IO ;
  with Ada.Integer_Text_IO ;
  use  Ada.Integer_Text_IO ;

  procedure i is

  begin
    put ( Integer'Last ) ;
    new_line ;
  end ;



In <FJSdndpDzI7XEPzVnZ2dnUVZ_rfinZ2d@comcast.com>, tmoran@acm.org writes:
>> but in Ada: Integers are 4 bytes
>The Ada 95 Reference Manual 3.5.4(21) says
>"In an implementation, the range of Integer shall include the range
>-2**15+1 .. +2**15-1."
>   Has this changed in Ada 2005?