From: Adam Beneschan <adam@irvine.com>
Subject: Re: 'Size of an object
Date: Tue, 11 Sep 2012 15:21:31 -0700 (PDT)
Date: 2012-09-11T15:21:31-07:00 [thread overview]
Message-ID: <1a054f68-d36f-4ca1-be5d-bdd16ffc1f5c@googlegroups.com> (raw)
In-Reply-To: <b8a1224d-df77-4dae-83f2-b1382508011c@googlegroups.com>
On Tuesday, September 11, 2012 11:11:45 AM UTC-7, AdaMagica wrote:
> On Tuesday, September 11, 2012 5:52:03 PM UTC+2, Adam Beneschan wrote:
>
> > I think Enum'Size should be 3 in most or all implementations.
>
> It must be 3.
> Take Integer, for instance. For the subtype Natural'Size = Integer'Size -1,
> because it doesn't need the sign bit. This was a much disputed decision during
> the Ada9X process (Ada 83 compilers had different values for 'Size, and Ada9X
> fixed this - it was on Tucker Taft's vote IIRM).
Well, since the rule that makes this true is under "Implementation Advice", and in a passage starting with "The recommended level of support...", the word "must" may be too strong. But other than that, you're right.
-- Adam
prev parent reply other threads:[~2012-09-11 22:21 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-11 15:52 'Size of an object Adam Beneschan
2012-09-11 16:20 ` Micronian Coder
2012-09-11 16:21 ` Vasiliy Molostov
2012-09-11 16:27 ` Dmitry A. Kazakov
2012-09-11 16:28 ` björn lundin
2012-09-11 17:07 ` Shark8
2012-09-11 18:11 ` AdaMagica
2012-09-11 22:21 ` Adam Beneschan [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox