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.