From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ac8:7f81:0:b0:412:2954:3451 with SMTP id z1-20020ac87f81000000b0041229543451mr63375qtj.0.1695324544556; Thu, 21 Sep 2023 12:29:04 -0700 (PDT) X-Received: by 2002:a05:6808:3082:b0:3a1:c163:6022 with SMTP id bl2-20020a056808308200b003a1c1636022mr287403oib.4.1695324544346; Thu, 21 Sep 2023 12:29:04 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 21 Sep 2023 12:29:03 -0700 (PDT) Injection-Info: google-groups.googlegroups.com; posting-host=159.250.202.227; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy NNTP-Posting-Host: 159.250.202.227 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <99e103fa-53c3-43b0-8a4f-686ca10424cdn@googlegroups.com> Subject: renaming as classwide type From: Simon Belmont Injection-Date: Thu, 21 Sep 2023 19:29:04 +0000 Content-Type: text/plain; charset="UTF-8" Xref: news.eternal-september.org comp.lang.ada:65688 List-Id: 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