From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 9 Dec 91 13:24:07 GMT
From: milo!edm@uunet.uu.net  (Ed Matthews)
Subject: Re: 'SIZE attribute of a type
Message-ID: <1991Dec9.132407.1128@verdix.com>
List-Id: <comp.lang.ada>

In article <EACHUS.91Dec9003230@Dr_No.mitre.org> eachus@Dr_No.mitre.org (Robert
 I. Eachus) writes:

>-- If I were going to write an ACVC test for this, I would not test
>-- Boolean'SIZE = 1.  Instead I would test that Boolean arrays are
>-- represented correctly.  That is what users care about.

Now this is sensible and you will find that Verdix packs bit vectors just
fine right now.  This was my point.  If things work fine now and 
Boolean'Size returns a sensible value (i.e., the amount of storage used
for a single boolean value in the absence of pragma Pack), why mess
around and create the discrepancy where Boolean'Size returns a (potentially)
silly value?

-- 

Ed Matthews                                                edm@verdix.com
Verdix Corporation Headquarters                            (703) 378-7600
Chantilly, Virginia