From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9c0aeffddd5a8549
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-18 10:23:09 PST
Newsgroups: comp.lang.ada
Path: nntp.gmd.de!Germany.EU.net!EU.net!chsun!mlma11.matrix.ch!user
From: Mats.Weber@matrix.ch (Mats Weber)
Subject: Re: Need help with DEC Ada
Message-ID: <Mats.Weber-1801951923090001@mlma11.matrix.ch>
Sender: usenet@eunet.ch
Organization: ELCA Matrix SA
References: <19950117.160119.606@vnet.ibm.com>
Date: Wed, 18 Jan 1995 18:23:09 GMT
Date: 1995-01-18T18:23:09+00:00
List-Id: <comp.lang.ada>

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 :-)