Re: 'Size hack for enumerated types

[Simon Wright <simon@pushface.org>]

Victor Porton <porton@narod.ru> writes:

>> If you want Enum_Type to be an enumeration, you should use a formal
>> discrete type definition[1]:
>>
>>    type Enum_Type is (<>);
>
> The same error with this.

I never said that that change would fix the problem with your
implementation; but whatever the implementation, you can't instantiate
your generic with an enumeration because an enumeration is not a signed
integer.

> BTW, remind me what is the difference of:
> - type Enum_Type is range <>;
> - type Enum_Type is (<>);
> ?

I already gave you a link to the ARM:
http://www.ada-auth.org/standards/12rm/html/RM-12-5-2.html#p2