Re: Rep-spec question

[Robert Dewar <robert_dewar@my-deja.com>]

In article <yecogd0pmc2.fsf@king.cts.com>,
  Keith Thompson <kst@cts.com> wrote:
> Which raises some interesting questions.  This implies that an
> implementation that follows the advice must accept the
> following:
>
>     N : Integer;
>     for N'Size use 1_000_000 * Integer'Size;
>
> (assuming sufficient memory).

GNAT says:

     1. package xxx is
     2.     N : Integer;
     3.     for N'Size use 1_000_000 * Integer'Size;
                                     |
        >>> warning: 31999936 bits of "N" unused

     4. end xxx;

> Where do the significant bits go?

If you care about this, don't use a silly declaration like
the one above :-)


Sent via Deja.com http://www.deja.com/
Before you buy.