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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,eb420f872d7f3049
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Boolean array representation question
Date: 1997/11/22
Message-ID: <dewar.880207818@merv>#1/1
X-Deja-AN: 291564037
References: <EK033F.9ps@sd.aonix.com>
 <880170219.81snx@jvdsys.nextjk.stuyts.nl>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 880207944 23969 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-11-22T00:00:00+00:00
List-Id: <comp.lang.ada>


jerry says

<<The point is for some reason I have Boolean'Size = 1 in my
head and cannot find the Boolean'Size =8^HStorage_Unit, other
implicitly in 3.5.3.>>


Boolean'Size is indeed 1, but if you think that means that all Boolean
objects are of size one bit, you are not reading the RM carefully enough.

This rep clause stuff is tricky. In practice we find that a lot of the
problems in porting code are because of lack of understanding of these
issues, and a lot of our support work involves explaining the issues in
specific situations, and working out how to deal with them in the
Ada 95 and GNAT contexts.