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!.POSTED!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Full view of a private partial view cannot be a subtype Date: Sun, 3 Dec 2017 15:34:48 +0100 Organization: Also freenews.netfront.net; news.tornevall.net; news.eternal-september.org Message-ID: References: <889a3aed-4e6b-49c8-8c1c-6f1478e8e077@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 3 Dec 2017 14:34:49 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="981a73b697aa3d294792fec12e070ae2"; logging-data="18263"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/U3LjayCjyFRNBS6BYjGnSL2mV0X4mUXU=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 In-Reply-To: <889a3aed-4e6b-49c8-8c1c-6f1478e8e077@googlegroups.com> Content-Language: en-US Cancel-Lock: sha1:mK+Bfw0crxwxjt9ba1HK1oOyuXw= Xref: reader02.eternal-september.org comp.lang.ada:49329 Date: 2017-12-03T15:34:48+01:00 List-Id: On 12/03/2017 02:33 PM, Jere wrote: > > I thought I remembered reading in the RM somewhere that if a renaming was a > completion, that it was equivalent to a wrapper, but to be honest my memory > isn't great. And even if I remembered correctly, I may not have understood > the context of that fully. You're thinking of ARM 8.5.4 (7.1/1), which does say that. However, "equivalent" means that it gives the same results, not that it has to be implemented as such. If your renaming-as-body is in the pkg spec, it would be a pretty poor compiler that didn't implement a call to it the same as a call to a renaming-as-declaration. > Thanks! I didn't even think about nesting it like that. That'll work. Many people seem to think that as much as possible should be done through type extension. They act as though the only tool they have is the hammer of type extension, and so view every problem as a nail. In my experience type extension is usually best avoided whenever possible. -- Jeff Carter "So if I understand 'The Matrix Reloaded' correctly, the Matrix is basically a Microsoft operating system--it runs for a while and then crashes and reboots. By design, no less. Neo is just a memory leak that's too hard to fix, so they left him in ... The users don't complain because they're packed in slush and kept sedated." Marin D. Condic 65