Re: Visibility of Indexing aspects

[AdaMagica <christ-usch.grein@t-online.de>]

Am Samstag, 21. Juli 2018 00:07:01 UTC+2 schrieb Jere:
> > BTW: You should definitely report this severe bug to AdaCore.
> I'll see if I can figure out a way to word this.  As you can
> see, I am not super competent in the RM, so I'm not sure I 
> will be able to prove to them it is one.  I'm not a paying
> customer (would like to be, but they are out of my price range),
> so I normally don't send them bug reports unless I really can
> show a verified bug.

No need of proof that this is a bug. I sent in many reports, most of them indeed were bugs, a few not. I learned to read the RM in this way. (I was a supported user then, so AdaCore promptly answered any report with interesting discussions - and I remember extremely rare events when I was right and they were wrong - mostly it was the other way round and I learned to read the RM word by word. But I don't claim to be a language lawyer, I never did.)

If you want to substantiate your report, just add the RM references appearing in this discussion. But I think just the ovservation that something hidden in the private part is useable from outside should be sufficient to indicate that there is a severe bug in the implementation (of the RM, i.e. the compiler GNAT).

And there is still the old Dewar rule: The RM does not say nonsense. If it seems so, the interpretation is wrong.