arya@hawk.ulowell.edu (Arun Arya) (06/28/88)
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.
keith@telesoft.UUCP (Keith Shillington @prodigal) (07/08/88)
The Ada is correct. The instance package q has the interface: package q is subtype tt is integer; type xyz is array(1..10) of integer; end q; Keith Shillington TeleSoft's Education Group