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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!nosc!ucsd!ucbvax!decwrl!purdue!bu-cs!bloom-beacon!mit-eddie!uw-beaver!apollo!ulowell!hawk!arya
From: arya@hawk.ulowell.edu (Arun Arya)
Newsgroups: comp.lang.ada
Subject: Is This Correct Ada or VMS Ada Compiler?
Summary: limited private generic argument types can be assigned to/from?
Keywords: limited private, generic, assignment
Message-ID: <7814@swan.ulowell.edu>
Date: 28 Jun 88 00:16:00 GMT
Sender: news@swan.ulowell.edu
Reply-To: arya@hawk.ulowell.edu (Arun Arya)
Organization: University of Lowell, CS Dept.
References:
List-Id: <comp.lang.ada>

Does Ada make types exported from generic packages that are
expressions on formal arguments identical to the passed type arguments?

generic
	type t is limited private;
package p is
	subtype tt is t;
	type xyz is array (1..10) of t;
end p;

with p;
procedure generictest is
	package q is new p(integer);
	x: integer;
	y: q.tt;
	z: q.xyz;
begin
	x := y;
	y := x;
	x := z(2);
end generictest;

Compiles without error on VMS.