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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ac5c3bc59168d76 X-Google-Attributes: gid103376,public From: "James A. Squire" Subject: Re: Subprogram Renaming Date: 1996/04/08 Message-ID: <316951C3.CE4@csehp3.mdc.com>#1/1 X-Deja-AN: 146445694 sender: Ada programming language references: comments: Gated by NETNEWS@AUVM.AMERICAN.EDU content-type: text/plain; charset=us-ascii organization: MDA Avionics Tools & Processes mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.01 (X11; I; HP-UX A.09.01 9000/715) Date: 1996-04-08T00:00:00+00:00 List-Id: On Sat, 6 Apr 1996 06:13:56, Robert Dewar wrote: > James Squire said > > "So I am totally at a loss to see how Ada95 added anything to the case > cited in 6.2 of the Rationale to allow you to do something you weren't > able to do in Ada83." > > I don't see this is so confusing in the Rationale. The new thing, as is > clear from your quote, is being allowed to use a subprogram renaming > declaration AS A BODY (in particular as a completion). And my question was, why does being able to rename a subprogram AS A BODY matter? What is so NEW about this? Why should I care about this NEW thing? > The notion (and syntax) of a subprogram renaming declaration of course > is not new, so there is no point in looking for a change in that section. Indeed, and why was this not considered sufficient? > But I realize that a lot of people need examples (I hate them :-) so > here is one: > > package q is > procedure j; > end q; > > package body q is > ... > procedure j renames k; which looks like a rename of a spec to me. I can do this in Ada83. > end q; -- James Squire MDA Avionics Tools & Processes ja_squire@csehp3.mdc.com "one of these days I'm going to better myself by going to Knight school" "You'll be a web knight instead of a web page!"