Re: Visibility of Indexing aspects

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

On Sunday, July 15, 2018 at 11:22:14 PM UTC-4, AdaMagica wrote:
> Am Sonntag, 15. Juli 2018 17:33:04 UTC+2 schrieb Jere:
> > That's why I started with my original question.  It seems very
> > odd that it should even be legal.  My intuition screamed bug,
> > but I couldn't find anything in the RM to say it was illegal.
> 
> What about RM 8 Visibility? 8.2(5,7,9) - all these things are not in the visible part.

I looked at that, but saw that 8.2(7), which applies in this case, 
specifically leaves out the aspect specification of what is considered 
in/out of the visible part.  It says all things within the type_declaration,
which is not defined to contain the aspect_specification (though the
full_type_declaration does).  Additionally, 8.2 only mentions aspects
in reference to scopes.  I peaked further into section 8.3 but only 
found:

8.3 (23.1/3):
An attribute_definition_clause or an aspect_specification is 
visible everywhere within its scope.

Which sounds like it should be visible even if specified in
the private part (though I am not sure I am reading it right).

The RM seems very unspecific about visibility of aspects outside of
those two spots.  What did I miss?