4.1.6 - inheritance rules for Constant_Indexing and Variable_Indexing.

pat-rogers / Ada-202x-WG9-Informal-Review

This is the place for WG 9 members to submit informal comments on the 202x source document. (This is not the formal ballot that WG 9 will hold later in the process.)

0 stars 0 forks source link

4.1.6 - inheritance rules for Constant_Indexing and Variable_Indexing. #134

Open pat-rogers opened 3 years ago

pat-rogers commented 3 years ago

It is a little bit confusing to have the following in consecutive AARM paragraphs:

... ; the aspect specifies a name, it does not denote declarations.

The Constant_Indexing and Variable_Indexing aspects ..., but the functions that they denote can be modified by overriding or overloading.

Even though I understand the intent, this seems like it might be confusing for a reader who doesn't already know the rules. Maybe insufficiently broken, so no action needed?

SteveB

ARG-Editor commented 3 years ago

I cannot find anything like what you are describing here, and you didn't give the paragraph numbers that you are talking about. There is a note about "overriding and overloading" at the bottom, but I don't see anything like the first mentioned paragraph nearby. In any case, you didn't suggest an improvement, so I really am at a loss (and out of time). So No Action.