Re: Question about base types

[Mats Weber <Mats.Weber@elca-matrix.ch>]

>   > If I declare an integer type, say
> 
>   > type T is range 1 .. 10;
> 
>   > Then I think that according to the Ada model this means I'm declaring some
>   > unnamed type, but whose first named subtype is T:
> 
>   > type <anonomous parent of T> is System.Min_Int .. System.Max_Int;
>   > subtype T is <anonomous parent of T> range 1 .. 10;
> 
>   > Do I have this correct?
> 
>   No.  The range of the anonomous type must be at least -15..15, but
> the actual range is implementation dependent.

I think this should be -10 .. 10. Nothing in the RM says it must be a
power of two minus one.