Re: Preventing private procedure visibility being made public through extension

[Jere <jhb.chat@gmail.com>]

On Sunday, May 20, 2018 at 7:22:09 AM UTC-4, Simon Wright wrote:
> Simon Wright writes:
> 
> > "Randy Brukardt" writes:
> >
> >> 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").
> >>
> >> You ought to have an ambiguity if you tried to call Something in the
> >> body of More_Derived, but it should be OK in the main subprogram.
> >>
> >> I'd skip the subtype and just use the real name of the type. And
> >> possibly make a bug report to AdaCore.
> >> You could also use a traditional call (More_Derived.Something (M, P);)
> >> which would avoid the buggy part of GNAT.
> >
> > Quite right, Randy (GCC 7.1.0, still; has anyone reported this?)
> 
> I think it must have been reported, because it's fixed in 8.1.0.

I ended up reporting this to them sometime shortly after.  I'm glad the
fix finally made it in!