CVS difference for ai05s/ai05-0178-1.txt

--- ai05s/ai05-0178-1.txt	2009/10/30 01:52:13	1.1
+++ ai05s/ai05-0178-1.txt	2009/12/12 03:44:06	1.2
@@ -1,6 +1,7 @@
-!standard  7.5(3/2)                                  09-10-29  AI05-0178-1/01
+!standard  7.5(3/2)                                  09-12-11  AI05-0178-1/02
 !standard  7.5(6/2)
 !class binding interpretation 09-10-29
+!status ARG Approved 11-0-0  09-11-07
 !status work item 09-10-29
 !status received 09-10-28
 !priority Low
@@ -34,8 +35,8 @@
     end P;
   end Pkg2;
 
-Is this assignment legal? It appears that neither the freezing rules nor
-3.10.1(10/2) address this situation.
+Is this assignment legal? (No.) It appears that neither the freezing rules
+nor 3.10.1(10/2) address this situation.
 
 !response
 
@@ -74,6 +75,26 @@
 operators, and a limited view does not include any operators, so the comparison
 operator would not be visible and thus the program would be illegal anyway.
 
+---
+
+3.10.1(2.1/2) actually says that an incomplete view is limited. But that is not
+where all other limited views are defined, so it is confusing (obviously it
+confused the questioner and the original author of this AI).
+
+!corrigendum 7.5(3/2)
+
+@drepl
+A type is limited if it is one of the following:
+@dby
+A view of a type is limited if it is one of the following:
+
+!corrigendum 7.5(6/2)
+
+@dinsa
+@xbullet<a composite type with a limited component;>
+@dinst
+@xbullet<an incomplete view;>
+
 !ACATS Test
 
 Consider a ACATS B-Test like the example in the question.
@@ -253,4 +274,13 @@
 declaration - but again you could argue for a broader view given the vague
 wording off 3.2(4.1/2). I'd argue that we wouldn't need the terms "incomplete
 view" and "partial view" if we were just going to say they're the same as
-"incomplete types" and "private types". But YM€
\ No newline at end of file
+"incomplete types" and "private types". But YMMV.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Thursday, October 29, 2009  1:56 PM
+
+Adding "view of a" seems to solve the problem nicely.
+
+****************************************************************