CVS difference for ai12s/ai12-0140-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file 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