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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.110.130 with SMTP id ia2mr19268515obb.42.1410199648518; Mon, 08 Sep 2014 11:07:28 -0700 (PDT) X-Received: by 10.140.92.226 with SMTP id b89mr24836qge.33.1410199648434; Mon, 08 Sep 2014 11:07:28 -0700 (PDT) Path: border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!uq10no11097354igb.0!news-out.google.com!i10ni2qaf.0!nntp.google.com!dc16no2142444qab.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 8 Sep 2014 11:07:28 -0700 (PDT) In-Reply-To: <858ulu1orl.fsf@stephe-leake.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2003:51:4a16:bd89:445e:f840:2627:bed0; posting-account=5zx--goAAAD06H29EnWQGKTO-gctuXHl NNTP-Posting-Host: 2003:51:4a16:bd89:445e:f840:2627:bed0 References: <136dc796-8f60-4fc0-a2f8-70e0ca24c9f1@googlegroups.com> <858ulu1orl.fsf@stephe-leake.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <79a52a0d-df2c-464f-b5f4-c1be76a0f536@googlegroups.com> Subject: Re: bug or feature From: Charly Injection-Date: Mon, 08 Sep 2014 18:07:28 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:188917 Date: 2014-09-08T11:07:28-07:00 List-Id: Am Montag, 8. September 2014 10:48:42 UTC+2 schrieb Stephen Leake: > Dirk Heinrichs writes: > > > > > Charly wrote: > > > > > >> [...] because of the subtype definition in line 6. > > > > > > Shouldn't this be renames instead? > > > > You can't use 'rename' on a type, only on an object. In most cases, > > 'subtype' is a good way to rename a type. But not in this case. > > > > -- > > -- Stephe Why not in this case? I've used 'subtype' in terms of 'renames' in many situations as I did in line 7 of my example program and never got this strange message. ------ Charly