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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC,T_FILL_THIS_FORM_SHORT autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,93dce172c8d3e2fb,start
X-Google-Attributes: gid103376,public
From: Tom Moran <tmoran@bix.com>
Subject: Which compiler is correct?
Date: 1997/06/17
Message-ID: <33A77C54.5484@bix.com>#1/1
X-Deja-AN: 249274176
Organization: InterNex Information Services 1-800-595-3333
Reply-To: tmoran@bix.com
Newsgroups: comp.lang.ada
Date: 1997-06-17T00:00:00+00:00
List-Id: <comp.lang.ada>


Compilers G and J accept this code.  Compiler O gives the error message
indicted in the comment, on said line.  Which is correct Ada?
package a is
    type x is tagged private;
private
    type x is tagged record
        i:integer;
    end record;
end a;
package a.b is
    type y is new x with private;
private
    type y is new x with record 
        j:integer;
    end record;
end a.b;
with a.b;
package a.c is
    type z is new a.b.y with private;
    procedure p;
private
    type z is new a.b.y with record
        k:integer;
    end record;
end a.c;
package body a.c is
    procedure p is
       one:x;
       two:z;
    begin
        one.i:=1;
        two.k:=2;
        two.i:=3;   -- test_vis.ada: Error: line 31 col 13 LRM:4.1.3(5),
No possible interpretation for selected component i, Ignoring future
references 

    end p;
end a.c;