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.4 required=5.0 tests=BAYES_00,INVALID_DATE,
	UNRESOLVED_TEMPLATE autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!bellcore!faline!thumper!ulysses!andante!princeton!udel!gatech!purdue!decwrl!ucbvax!CIRCUS.LLNL.GOV!IVANOVIC%VAXR
From: IVANOVIC%VAXR@CIRCUS.LLNL.GOV.UUCP
Newsgroups: comp.lang.ada
Subject: Re: A compiler Bug? or a bug in the LRM??
Message-ID: <8805121751.AA26711@ajpo.sei.cmu.edu>
Date: 12 May 88 17:53:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Posted: Thu May 12 13:53:00 1988
List-Id: <comp.lang.ada>

telesoft!keith@ucsd.edu (Keith Shillington @prodigal) writes:

         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.
         
         [...]

         This code does not violate 6.4.1:3. 

Here is the output of DEC's Ada compiler:

    1 	package A is
    2 	type T1 is new Integer;
    3 	procedure P1 (Target : out T1; source : in T1);
    4 	end A;
    5 	
    6 	with A;
    7 	Package B is
    8 	subtype T1 is A.T1;
    9 	procedure P1 (Target : out T1; source : in T1)
   10 	    	renames A.P1;
   11 	end B;
   12 	
   13 	with B; use B;
   14 	procedure C is 
   15 	type T2 is new T1;
   16 	x : T2;
   17 	y : T1; -- B.T1
   18 	begin
   19 	    P1(T1(x),y);  -- B.P1( B.T1(x),y);
...............1.2
%ADAC-E-CONFDENOT, (1) Subtype T1 in B at line 8 is not the same as type T1 in A
at line 2, which is denoted in B at line 9 (from A at line 3) [LRM 6.3.1] 
%ADAC-I-CONFWITHTYPEMAR, (2) Error detected during conformance check with type
mark of subprogram 'out' formal Target in B at line 9 

   20 	end C;