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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,63ed09fc54092c73 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.92.202 with SMTP id co10mr133378wib.1.1359765768367; Fri, 01 Feb 2013 16:42:48 -0800 (PST) Path: bp2ni11147wib.1!nntp.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Brian Drummond Newsgroups: comp.lang.ada Subject: Re: When is a rename not a rename? Date: Sat, 2 Feb 2013 00:42:29 +0000 (UTC) Organization: A noiseless patient Spider Message-ID: References: <6d66d1c4-ed22-446b-a9d7-dc806ae1ef8f@googlegroups.com> <5ab43474-0ce2-425c-836b-ff4c97587958@googlegroups.com> Mime-Version: 1.0 Injection-Date: Sat, 2 Feb 2013 00:42:29 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="da745e888d4a5182b5fda6212bbb0a63"; logging-data="1725"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19EktLpA3RATc5jYFie1pLX6FEOMNqmFJc=" User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508 git://git.gnome.org/pan2) Cancel-Lock: sha1:GPV/yZgtXBydcoa/nAp+GwUjy/8= Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Date: 2013-02-02T00:42:29+00:00 List-Id: On Fri, 01 Feb 2013 09:32:42 -0800, Adam Beneschan wrote: > On Friday, February 1, 2013 3:27:02 AM UTC-8, Dmitry A. Kazakov wrote: >> On Fri, 1 Feb 2013 02:44:21 -0800 (PST), Ada novice wrote: >> >> > If you have a minimal example that is proving the contrary, please >> > post it here. >> >> Here is how renaming is not renaming: > > Another possible example is when a subprogram renames another one but > changes a default parameter: There was also a recent specimen where a rename made a procedure's parameter disappear! The trick was something like renaming an object.method call to just renamed_method. I forget the precise details but I recall it was legal; taking its access was not (though astonishingly, it worked in current Gnat revisions) - Brian