Re: ARG Urgent Problems (was: labeling)

[Christoph Grein <christoph.grein@eurocopter.com>]

>The only problem being that your compiler might reject to compile this because
>>it cannot fulfil the request. My_Int'Base will necessarily be a 
>_signed_integer_
>>at least big enough to hold the specified range, will thus need at least 33
>>bits, most probably a 64 bit
>>type.
>True, but there is no requirement that T'Base occupies the same number of bits 
       ~~~
       The "but" is unnecessary here, you repeat in other words what I wanted to 
       say. If there is no such type on your machine, the compiler will reject
       the declaration. Gnat provides a 64 bit type, as you've tried:
>as T.
>I just tried the following with Gnat:
>    type Int32 is range 0..2**32-1;
>    for Int32'size use 32;
>    I : Int32;
>    B: Int32'Base;
>begin
>   Put_Line (Integer'image (I'size));
>   Put_Line (Integer'Image (B'size));
>
>And it prints:
>32
>64