Comments on IR2073

Folks,

In the range in the example (0 to 2**N-1), presumably N is a constant, so
it's type will be the base type of some explicitly declared integer type,
not universal_integer.

3.2.1.1 says that both bounds must be of the same type, other than
universal_integer, and that this type must be determined independently of
the context, but using the fact that ... both bounds must have the same
type. This seems to combine with the rule in the last para of 7.3.5 to
warrant an implicit conversion of the left bound from universal_integer to
the same type as the right bound. In that case, the example would be legal.
Am I misinterpreting?

Apart from that, the recommendation appears ok. It deals with the case Chuck
mentioned, of the range -1 to 100.

Cheers,

PA

--
Dr. Peter J. Ashenden                peter@ashenden.com.au
Ashenden Designs Pty. Ltd.           www.ashenden.com.au
PO Box 640                           VoIP: 0871270078@sip.internode.on.net
Stirling, SA 5152                    Phone (mobile):  +61 414 709 106
Australia