Re: Problems with large records (GNAT) [continued]

[Robert A Duff <bobduff@world.std.com>]

Dr Adrian Wrigley <amtw@linuxchip.demon.co.uk> writes:

>    type Big_T is array (0 .. 64*1024*1024) of Float;
> 
> begin
> 
>    Text_IO.Put_Line ("Size of Big_T is " &
>                      Integer'Image (Big_T'Size / System.Storage_Unit));

The above fails because you're implicitly converting Big_T'Size to
Integer, which is too small.  That is, the conversion happens before the
divide.  Try this:

    type Big_Integer is range 0 .. System.Storage_Unit * (2**32);

    Put_Line(Big_Integer'Image(Big_T'Size / System.Storage_Unit));

>    Text_IO.Put_Line ("Size of Big_T is " &
>                      Integer'Image (Big_T'Max_size_in_storage_elements));

I don't know about that one.

- Bob