Re: How to put 200 into an integer sub-type of 16 bits (code included)

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Adam Beneschan <adam@irvine.com> writes:

> Wow, that's confusing when looking at 13.1(8).  That says, "A
> representation item that names a subtype is either subtype-specific
> (Size and Alignment clauses) or type-related (all others).  Subtype-
> specific aspects may differ for different subtypes of the same type".

It says the "aspects may differ".  That is, different subtypes can have
different sizes and alignments.  It does not say that you can specify
different sizes and alignments.

I agree that it's confusing!

For:

    subtype Byte is Natural range 0 .. 255;

Byte'Size = 8.  You can write "pragma Assert(Byte'Size = 8);"
if you want to clarify that fact.

- Bob