Re: Need help with DEC Ada

[Mats.Weber@matrix.ch (Mats Weber)]

In article <19950117.160119.606@vnet.ibm.com>, pdennis@vnet.ibm.com (Phil
Dennis) wrote:

>       3 pragma component_alignment(storage_unit);
>       4 type integer_32 is range -(2**31) .. (2**31) -
>  1;
>       5 subtype natural_32 is integer_32 range 0 .. in
> teger_32'last; --(2**31)-1;

the original (2**31)-1 should not cause any problem. Ae you really sure it
generates a warning ?

>       6 subtype bit is boolean;
>       7 type raw_memory_t is array(natural_32) of bit;
> .......1
> Info: (1) CONSTRAINT_ERROR will be raised here [LRM 11
> 1(5)]

While elaborating a type declaration, all sorts of attributes of the type
are calculated, such as its 'Size and 'Length attributes. Here the
compiler can see that the 'Length attribute of raw_memory_t will be 2^31,
which is too big an integer to be represented by any integer variable with
your compiler.

BTW, what were you thinking of doing with that type ? I can only see
erroneous uses of it :-)