From: tmoran@bix.com
Subject: inheritance and private overiding
Date: 2000/05/04
Date: 2000-05-04T00:00:00+00:00 [thread overview]
Message-ID: <C2aQ4.97$ml.60170@news.pacbell.net> (raw)
One compiler refuses to compile this code, giving the indicated
error message. Other compilers accept it just fine and print
"in test1" then "in test2". Who's right?
-----------------
package test1 is
type Root is tagged null record;
procedure P(X : in out Root);
end test1;
with ada.text_io;
package body test1 is
procedure P(X : in out Root) is
begin
ada.text_io.put_line("in test1");
end P;
end test1;
with test1;
package test2 is
type Branch is new test1.Root with private;
private
type Branch is new test1.Root with null record;
procedure P(X : in out Branch);
end test2;
with ada.text_io;
package body test2 is
procedure P(X : in out Branch) is
begin
ada.text_io.put_line("in test2");
end P;
end test2;
with test1, test2;
package test3 is
type A is new test1.Root with null record;
type B is new test2.Branch with null record;
end test3;
with test3;
procedure test is
X : test3.A;
Y : test3.B;
begin
test3.P(X);
test3.P(Y); -- One compiler says "expected type A, found type B"
-- others have no complaints
end test;
next reply other threads:[~2000-05-04 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-04 0:00 tmoran [this message]
2000-05-04 0:00 ` inheritance and private overiding Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox