From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,653642c0bd258f9f X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.85.98 with SMTP id g2mr3187784paz.37.1347402091707; Tue, 11 Sep 2012 15:21:31 -0700 (PDT) Received: by 10.68.135.103 with SMTP id pr7mr1673810pbb.7.1347402091691; Tue, 11 Sep 2012 15:21:31 -0700 (PDT) Path: a8ni4572pbd.1!nntp.google.com!4no1555349pbn.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 11 Sep 2012 15:21:31 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ NNTP-Posting-Host: 66.126.103.122 References: <97ff13ad-308a-416f-a300-6c7d9da3d71b@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1a054f68-d36f-4ca1-be5d-bdd16ffc1f5c@googlegroups.com> Subject: Re: 'Size of an object From: Adam Beneschan Injection-Date: Tue, 11 Sep 2012 22:21:31 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-09-11T15:21:31-07:00 List-Id: 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