Re: Visibility of Indexing aspects

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

"Jere" <jhb.chat@gmail.com> wrote in message 
news:dbc94806-dbf9-408d-b8ad-3a159eb85b24@googlegroups.com...
...
> Question:  Section 13.1.3 (1/3) says "The declaration with
> the aspect_specification is termed the associated declaration."
> In the case of the bugged example I gave, the aspect_specification
> was with the full view of the type.  Is that then considered the
> declaration of the type, or is just the partial view in the public
> section considered the declaration?  I am assuming the full view
> is still considered the declaration.

They're two separate-but-related declarations. You can tell if something is 
a declaration by looking at the name of its syntax. If the syntax includes 
"_declaration",  then it's a declaration. And since we have 
private_type_declaration and full_type_declaration, they're both 
declarations. (See RM 3.1 for the more formal definitions.)

There are implicit declarations as well, of course, but they don't have 
anything to do with this particular question.

                                         Randy.