CVS difference for ais/ai-10260.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-10260.txt

--- ais/ai-10260.txt	2005/02/08 07:12:42	1.7
+++ ais/ai-10260.txt	2005/02/27 04:55:47	1.8
@@ -1,4 +1,4 @@
-!standard  3.09  (06)                               05-02-02  AI95-00260-02/04
+!standard  3.09  (06)                               05-02-25  AI95-00260-02/05
 !standard  3.09  (07)
 !standard  3.09  (12)
 !standard  3.09  (18)
@@ -130,8 +130,8 @@
 
 If the internal tag provided to an instance of
 Tags.Generic_Dispatching_Constructor identifies a specific type whose tag has
-not been elaborated, or does not exist in the partition at the time of the
-call, execution is erroneous.
+not been created (see 13.14), or does not exist in the partition at the time of
+the call, execution is erroneous.
 
 AARM Note: For a library-level type, this shouldn't be possible presuming that
 the tag value came from the current execution of the partition. T'Tag freezes
@@ -150,8 +150,8 @@
 
 Change the first sentence of 3.9.2(1):
 
-The primitive subprograms of a tagged type, and the
-subprograms declared by a formal_abstract_subprogram_declaration
+The primitive subprograms of a tagged type and the
+subprograms declared by formal_abstract_subprogram_declarations
 are called *dispatching operations*.
 
 Change the first sentence of 3.9.2(2):
@@ -636,8 +636,8 @@
 
 If the internal tag provided to an instance of
 Tags.Generic_Dispatching_Constructor identifies a specific type whose
-tag has not been elaborated, or does not exist in the partition at the time of
-the call, execution is erroneous.
+tag has not been created (see 13.14), or does not exist in the partition at the
+time of the call, execution is erroneous.
 
 !corrigendum 3.9(30)
 
@@ -668,8 +668,8 @@
 polymorphism is achieved when a dispatching operation is called by a
 dispatching call.
 @dby
-The primitive subprograms of a tagged type, and the subprograms declared by a
-@fa<formal_abstract_subprogram_declaration>, are called @i<dispatching
+The primitive subprograms of a tagged type and the subprograms declared by
+@fa<formal_abstract_subprogram_declaration>s, are called @i<dispatching
 operations>. A dispatching operation can be called using a statically
 determined @i<controlling> tag, in which case the body to be executed is
 determined at compile time. Alternatively, the controlling tag can be

Questions? Ask the ACAA Technical Agent