From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!husc6!think!ames!ncar!gatech!purdue!decwrl!ucbvax!telesoft.UUCP!keith
From: keith@telesoft.UUCP (Keith Shillington @prodigal)
Newsgroups: comp.lang.ada
Subject: Re: A compiler Bug? or a bug in the LRM??
Message-ID: <8805111823.AA28812@ucsd.edu>
Date: 11 May 88 18:09:39 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>


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