Re: A compiler Bug? or a bug in the LRM??

[IVANOVIC%VAXR@CIRCUS.LLNL.GOV.UUCP]

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;