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,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f7611d1b6f46896b
X-Google-Attributes: gid103376,public
From: maggiejohn@aol.com (MaggieJohn)
Subject: Re: Byte-level to Bit-level Boolean Encoding
Date: 2000/03/31
Message-ID: <20000330212836.00305.00000103@ng-fh1.aol.com>#1/1
X-Deja-AN: 604603234
References: <8F07A24FDandrewloguecdcgycom@142.77.1.194>
Organization: AOL http://www.aol.com
Newsgroups: comp.lang.ada
X-Admin: news@aol.com
Date: 2000-03-31T00:00:00+00:00
List-Id: <comp.lang.ada>

The record type will work for the valid roles variable.   You could also use a
packed array:

type valid_roles is array (1..32) of boolean;
pragma pack valid_roles;
for valid_roles'size use 32;
-- check the syntax here, I'm doing this from memory

Either way, I've always seen unchecked conversion used to change types for
input or output:

with unchecked_conversion;
function to_int32 is new unchecked_conversion(
  source => valid_roles, target => integer32);
-- source and target must be the same size!

- Maggie