From: keith@telesoft.UUCP (Keith Shillington @prodigal)
Subject: Re: A compiler Bug? or a bug in the LRM??
Date: 11 May 88 18:09:39 GMT [thread overview]
Message-ID: <8805111823.AA28812@ucsd.edu> (raw)
The TeleSoft compiler on SUN compiles the program with no error.
I fully agree that 6.6:1 states that the program you have written is
indeed correct.
I have annotated your code:
----------------------------------------------
package A is
type T1 is new Integer;
procedure P1 (Target : out T1; source : in T1);
end A;
with A;
Package B is
subtype T1 is A.T1;
procedure P1 (Target : out T1; source : in T1)
renames A.P1;
end B;
with B; use B;
procedure C is
type T2 is new T1;
x : T2;
y : T1; -- B.T1
begin
P1(T1(x),y); -- B.P1( B.T1(x),y);
end C;
--------------------------------------------
This code does not violate 6.4.1:3.
Keith Shillington
TeleSoft, Education Group
next reply other threads:[~1988-05-11 18:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-05-11 18:09 Keith Shillington @prodigal [this message]
-- strict thread matches above, loose matches on Subject: below --
1988-05-12 17:53 A compiler Bug? or a bug in the LRM?? IVANOVIC%VAXR
1988-05-05 16:16 Marc.Graham
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox