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,fd173879a595bde
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.news.pas.earthlink.net.POSTED!a6202946!not-for-mail
From: "Jeffrey R. Carter" <spam@spam.com>
Organization: jrcarter at acm dot org
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.7.12) Gecko/20050915
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Default rep specs for record types - documented??
References: <slrndmloee.kq0.bogus_addy@tango.mindfuq.org>
 <meKdnXXIJd6tVPfeRVn-vw@comcast.com>
 <slrndmlus8.kq0.bogus_addy@tango.mindfuq.org>
 <TlCaf.1406$uD5.768@newsread3.news.pas.earthlink.net>
 <S9OdnXaVctqkvvHeRVn-jQ@comcast.com>
 <YNWaf.50$Xo.35@newsread2.news.pas.earthlink.net>
 <Qs6dndQOsuQXkPPeRVn-qw@comcast.com> <wcc64qw821y.fsf@shell01.TheWorld.com>
 <slrndng6nf.b0.bogus_addy@tango.mindfuq.org>
In-Reply-To: <slrndng6nf.b0.bogus_addy@tango.mindfuq.org>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <po4ef.579$jI5.382@newsread1.news.pas.earthlink.net>
Date: Mon, 14 Nov 2005 18:08:21 GMT
NNTP-Posting-Host: 67.3.181.49
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread1.news.pas.earthlink.net 1131991701 67.3.181.49 (Mon,
 14 Nov 2005 10:08:21 PST)
NNTP-Posting-Date: Mon, 14 Nov 2005 10:08:21 PST
Xref: g2news1.google.com comp.lang.ada:6381
Date: 2005-11-14T18:08:21+00:00
List-Id: <comp.lang.ada>

Anonymous Coward wrote:

> It seems your statement about size specs on types only being a minimum
> does not apply to record types, correct?  

Incorrect. A 'Size specifies the minimum size the compiler may use for objects 
of the type. The compiler may use larger sizes for objects if not otherwise 
constrained. The size specified by 'Size will be used in certain instances, such 
as when the type is used for a component of a packed composite type. Thus, all 
values of the type must fit in the specified size.

Thus

type T is mod 64;
for T'Size use 2;

fails because you cannot represent that range of values in 2 bits.

-- 
Jeff Carter
"C++ is like giving an AK-47 to a monk, shooting him
full of crack and letting him loose in a mall and
expecting him to balance your checking account
'when he has the time.'"
Drew Olbrich
52