help / color / mirror / Atom feed
From: Simon Belmont <>
Subject: renaming as classwide type
Date: Thu, 21 Sep 2023 12:29:03 -0700 (PDT)	[thread overview]
Message-ID: <> (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.

    type P is interface;
    type C is new P with null record;
    o : C;
    r : P'Class renames o;  --error

expected type "P'Class" defined at line
found type "C" defined at line

             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