Re: String literals and wide_string literals - how?

[Simon Wright <simon.j.wright@mac.com>]

"Jeffrey R. Carter" <jrcarter@acm.org> writes:

> Robert A Duff wrote:
>>
>>     type Bit is ('0', '1');
>>     type Bit_String is array (Positive range <>) of Bit;
>>     pragma Pack(Bit_String);
>>     X: constant Bit_String := "01011110";
>>
>> Bit is a character type, and Bit_String is a string type.
>>
>> X can fit in 8 bits, by the way.
>
> for Bit'Size use 1;
> for Bit_String'Component_Size use Bit'Size;
>
> subtype Byte_String is Bit_String (1 .. 8);
>
> Y : constant Byte_String := "00001111";
> pragma Assert (Y'Size = Y'Length);
>
> type Byte is mod 2 ** 8;
> for Byte'Size use 8;
>
> function To_Byte is new Ada.Unchecked_Conversion
>    (Source => Byte_String, Target => Byte);
>
> Z : constant Byte := To_Byte (Y);
>
> What is Z and 1?

Well, on a PowerPC Z is 2#00001111# but I suspect you'd get a
different answer on a little-endian machine ..