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

Differences between 1.7 and version 1.8
Log of other versions for file 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
 !standard 13.14(3/4)
 !standard 13.14(15.1/3)
 !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
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!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,
-of course.)
+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
   no effect.
-  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