CVS difference for ai12s/ai12-0155-1.txt
--- ai12s/ai12-0155-1.txt 2015/06/18 05:56:10 1.7
+++ ai12s/ai12-0155-1.txt 2015/07/09 01:04:37 1.8
@@ -1,18 +1,18 @@
-!standard 3.10.1(10/3) 15-06-17 AI05-0155-1/06
+!standard 3.10.1(10/3) 15-07-08 AI05-0155-1/07
!class binding interpretation 15-02-20
+!status ARG Approved 6-0-3 15-06-26
!status work item 15-02-20
!status received 15-02-20
-!subject Freezing of operations of incomplete types with completions deferred to a body
+!subject Freezing of an incomplete view has no effect
-Incomplete types are never frozen; Legality Rules prevent all possible problems
-with them. (The completion of an incomplete type freezes in the normal way,
+Freezing of an incomplete view has no effect. In particular, it does not freeze the
+completion of the view.
@@ -105,12 +105,14 @@
Notwithstanding the rest of this subclause, freezing an incomplete view has
- AARM Ramification: In particular, there is no requirement on the completion
- when an incomplete type would have been frozen. Once the completion of the
+ AARM Ramification: In particular, freezing an incomplete view does not freeze
+ the completion of the view. For an incomplete type, once the completion of the
incomplete type is seen, any further references to the type will be of the
complete type, which will be frozen in the normal way. Legality Rules prevent
all problems for incomplete types themselves.
+ In constrast, freezing a partial view does have an effect (the completion
+ of the view is frozen and the program is illegal if it hasn't occurred yet).
@@ -212,7 +214,7 @@
The implementer's complaints led me to look at how this freezes.
-13.14(3/4) [and earlier versions as well] says that everything exception
+13.14(3/4) [and earlier versions as well] says that everything except
incomplete types are frozen at the end of Pack. This includes the profiles of
any subprograms declared within Pack.
Questions? Ask the ACAA Technical Agent