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.
Lines: 22
References:

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.