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,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 6 Dec 91 20:15:32 GMT
From: deccrl!caen!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!gvlf3.gvl.unisys.
com!email!parkhill@bloom-beacon.mit.edu  (parkhill)
Subject: Re: 'SIZE attribute of a type
Message-ID: <5881@email.sp.unisys.com>
List-Id: <comp.lang.ada>

As was stated in a previous posting by another author if a compiler 
can pack an array of character such that each character only uses 7 
bits then Character'Size should return 7.

Image a compiler was smart enough to understand baised number ranges.

   type b is range 9 .. 10;
        or
   type b is range 2**31 - 2 .. 2**31 - 1;


If the compiler can generate code that only uses 1 bit then b'Size
should return 1.