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,e08ffaff681705c,start
X-Google-Attributes: gid103376,public
From: tmoran@bix.com
Subject: access aliased obstacle
Date: 1996/07/04
Message-ID: <4rfig3$l5d@news1.delphi.com>#1/1
X-Deja-AN: 163629138
organization: Delphi Internet Services Corporation
newsgroups: comp.lang.ada
Date: 1996-07-04T00:00:00+00:00
List-Id: <comp.lang.ada>


To pass a data structure to an OS routine I tried

  type elements(discriminant: enumeration_type:=normal_value) is record
    case discriminant is
    ...
  end record;
  for elements'size use 64;  -- size does not vary

  type list_of_elements is array(1 .. 17) of aliased elements;

but one of my Ada 95 compilers objected to aliasing unless I make a
subtype with a specific discriminant value, which defeats the purpose.
The LRM appears to me to agree with this compiler.  The only obvious
possibility is unchecked_conversion.  What is the 'right' way?