* Is This Correct Ada or VMS Ada Compiler?
@ 1988-06-28 0:16 Arun Arya
0 siblings, 0 replies; 2+ messages in thread
From: Arun Arya @ 1988-06-28 0:16 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* RE: Is This Correct Ada or VMS Ada Compiler?
@ 1988-07-08 2:26 Keith Shillington @prodigal
0 siblings, 0 replies; 2+ messages in thread
From: Keith Shillington @prodigal @ 1988-07-08 2:26 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1988-07-08 2:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1988-07-08 2:26 Is This Correct Ada or VMS Ada Compiler? Keith Shillington @prodigal
-- strict thread matches above, loose matches on Subject: below --
1988-06-28 0:16 Arun Arya
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox