search

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

7.3.2 introductory explanation #148

Open nholsti opened 3 years ago

nholsti commented 3 years ago

It might help readers if the intro were to explain that the aim of the Type_Invariant('Class) feature is to ensure that any object of this type/class satisfies the invariant when inspected or used by a client of the defining package, but the invariant does not have to be satisfied at each point within the operations of the defining package itself (where the full type declaration is visible). Therefore, the invariant is checked at the boundary between the defining package and its clients. Similar text is now in the Ramification RM 7.3.2 (23.a/5), but that is quite late in the section and is not visible in the non-annotated RM.

ARG-Editor commented 3 years ago

This makes sense, but since the existing text (of which there is none!) is neither new nor wrong, this is out of bounds for this review. As such, it will be deferred. See issue #15 for more on this topic.