Re: Preventing private procedure visibility being made public through extension

["Randy Brukardt" <randy@rrsoftware.com>]

"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.