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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: procedure renames creates a primitive operation?
Date: Wed, 30 Aug 2017 20:24:53 -0500
Organization: JSA Research & Innovation
Message-ID: <oo7oh5$6pb$1@franka.jacob-sparre.dk>
References: <bc765307-02bd-4a38-b60c-4b743de6b3e4@googlegroups.com>
Injection-Date: Thu, 31 Aug 2017 01:24:54 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="6955"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: news.eternal-september.org comp.lang.ada:47847
Date: 2017-08-30T20:24:53-05:00
List-Id: <comp.lang.ada>

"Jere" <jhb.chat@gmail.com> wrote in message 
news:bc765307-02bd-4a38-b60c-4b743de6b3e4@googlegroups.com...
>I was curious if this was a bug or intended.
...
> I used a renames clause to bring a non primitive operation
> into scope (for client readability when calling the procedure).
> However, when I did that, it created a primitive operation.
> Is this correct behavior or a bug?

Yes, a renames of a non-primitive can be primitive. Similarly, a renames of 
a primitive can be non-primitive.

Its an intended bug. That is, it is generally acknowledged that this 
semantics is the worst possible choice (you've stumbled on one reason why). 
There are some really horrid consequences for things like class-wide 
preconditions. But it wasn't obvious what choice made sense at the time it 
was made in Ada 95. It's way too late to change now, of course.

                                  Randy.