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!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Preventing private procedure visibility being made public through
 extension
Date: Tue, 30 May 2017 16:15:18 -0500
Organization: JSA Research & Innovation
Message-ID: <ogknbr$4a7$1@franka.jacob-sparre.dk>
References: <bd5b3107-709d-46b9-b29b-fd15e8a6e265@googlegroups.com>
 <ofq943$14v4$1@gioia.aioe.org>
 <4a47e4cd-829c-4451-abf1-82cf60b67706@googlegroups.com>
 <ofrk18$s6f$1@gioia.aioe.org>
 <9cdf04e6-123e-4bd9-b466-77aad00d61bb@googlegroups.com>
 <ofvkhq$2vq$1@franka.jacob-sparre.dk>
 <e9d5050e-1046-4f8a-92e0-feded33f7a50@googlegroups.com>
 <og7bug$9lq$1@franka.jacob-sparre.dk>
 <62e326e6-dd15-4546-83dc-b1e423327c23@googlegroups.com>
 <oga47i$dvr$1@franka.jacob-sparre.dk> <ogabnv$9hj$1@dont-email.me>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1496178876 4423 24.196.82.226 (30 May 2017
 21:14:36 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 30 May 2017 21:14:36 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:46873
Date: 2017-05-30T16:15:18-05:00
List-Id: <comp.lang.ada>

"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message 
news:ogabnv$9hj$1@dont-email.me...
> On 05/26/2017 10:46 PM, Randy Brukardt wrote:
>> Ah, a subtype. GNAT has (or had?)a bug having to do with making things
>> visible because of a subtype declaration (I recall someone else running
>> across that and having verified it myself). That's just plain wrong, a
>> subtype has no effect on what's visible in a prefixed call (or anywhere 
>> else
>> for that matter, in particular with "use all type").
>
> That was me. I wasn't aware that you had verified it as a compiler error.

I don't recall the details anymore, but I'm pretty sure I discussed that 
with someone at AdaCore. (Either in the context of an ACATS test, or just on 
the side of some other conversation.) And they agreed it was wrong. No idea 
if it formally got reported though.

                                             Randy.