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: 6 Dec 91 21:14:27 GMT From: milo!edm@uunet.uu.net (Ed Matthews) Subject: Re: 'SIZE attribute of a type Message-ID: <1991Dec6.211427.24174@verdix.com> List-Id: In article eachus@Dr_No.mitre.org (Robert I. Eachus) writes: > > Not quite. AI-00536/08-BI-WA requires that Boolean'SIZE = 1. >Objects of type Boolean may have a size of 8 (or 32, or whatever), but >Boolean must have 'SIZE = 1 so that (packed) Boolean arrays are bit >vectors. Most vendors do fiercely pack bit vectors, but some still >get Boolean'SIZE wrong. (This is a very recent AI.) A quick test >program: Am I alone, or does anyone else think this is crazy? If I read the AI correctly, then Foo'Size is likely > 1 where Foo is an object of type Boolean, but Boolean'Size is 1. Why the discrepancy? The results are counter-intuitive. Boolean'Size = 1 seems to have nothing to do with packing bit vectors. I fail to see the wisdom behind this AI. -- Ed Matthews edm@verdix.com Verdix Corporation Headquarters (703) 378-7600 Chantilly, Virginia