CVS difference for ai12s/ai12-0140-1.txt
--- ai12s/ai12-0140-1.txt 2014/12/12 05:52:58 1.3
+++ ai12s/ai12-0140-1.txt 2015/01/23 02:33:05 1.4
@@ -1,4 +1,4 @@
-!standard 3.4(7/3) 14-10-13 AI05-0140-1/01
+!standard 3.4(7/3) 15-01-22 AI05-0140-1/02
!standard 3.4(8/2)
!class binding interpretation 14-10-13
!status work item 14-10-13
@@ -9,7 +9,8 @@
!subject Access to unconstrained partial view when full view is constrained
!summary
-???
+The first subtype of a private type always statically matches the first
+subtype of the full view of the type.
!question
@@ -67,7 +68,7 @@
For a formal access-to-object type, the designated subtypes of the formal and
actual types shall statically match.
-The the text of the vendor error message (and the associated question) is wrong,
+The text of the vendor error message (and the associated question) is wrong,
as 3.7(26) says that "Any subtype of a type with unknown discriminants is an
unconstrained and indefinite type." (This is repeated in 3.2(9) and 3.3(22/3).)
So the private type My_String is unconstrained. Similarly, the full type
Questions? Ask the ACAA Technical Agent