CVS difference for ais/ai-00403.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00403.txt

--- ais/ai-00403.txt	2005/03/18 01:52:26	1.2
+++ ais/ai-00403.txt	2005/05/15 23:38:39	1.3
@@ -1,7 +1,7 @@
-!standard 10.2.1(11)                                   05-03-15  AI95-00403/02
+!standard 10.2.1(11)                                   05-05-05  AI95-00403/03
 !class binding interpretation 05-01-27
 !status Amendment 200Y 05-03-17
-!comment This AI is in the Amendment, but is not yet approved.
+!status ARG Approved 11-0-0  05-04-17
 !status work item 05-01-27
 !status received 05-01-27
 !qualifier omission
@@ -39,7 +39,7 @@
-Add the following to 10.2.1(10):
+Replace 10.2.1(10) by:
 A generic body is preelaborable only if elaboration of a corresponding instance
 body would not perform any such actions, presuming that:
@@ -58,7 +58,7 @@
 doesn't perform any of the actions listed above, because its sole effect is to
 establish that the generic can from now on be instantiated. So the elaboration
 of the generic itself is not the interesting part when it comes to
-preelaboration rule. The interesting part is what happens when you elaborate
+preelaboration rules. The interesting part is what happens when you elaborate
 "any instantiation" of the generic. For instance, declaring an object of a
 limited formal private type might well start tasks, call functions, and do all
 sorts of non-preelaborable things. We prevent these situations by assuming that

Questions? Ask the ACAA Technical Agent