From: Simon Belmont <sbelmont700@gmail.com>
Subject: renaming as classwide type
Date: Thu, 21 Sep 2023 12:29:03 -0700 (PDT) [thread overview]
Message-ID: <99e103fa-53c3-43b0-8a4f-686ca10424cdn@googlegroups.com> (raw)
is it really illegal to rename an object as it's classwide parent? gnat claims so. Similar results using a type extension as a generic formal "in out" object of classwide type.
declare
type P is interface;
type C is new P with null record;
o : C;
r : P'Class renames o; --error
begin
null;
end;
expected type "P'Class" defined at line
found type "C" defined at line
next reply other threads:[~2023-09-21 19:29 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-21 19:29 Simon Belmont [this message]
2023-09-21 21:03 ` renaming as classwide type G.B.
2023-09-21 23:19 ` Simon Belmont
2023-09-26 5:46 ` Randy Brukardt
2023-09-22 9:31 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox