CVS difference for ais/ai-10260.txt

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

--- ais/ai-10260.txt	2005/12/16 04:44:57	1.14
+++ ais/ai-10260.txt	2006/02/21 04:21:57	1.15
@@ -1,4 +1,4 @@
-!standard  3.09  (06)                               05-12-05  AI95-00260-02/08
+!standard  3.09  (06)                               06-02-01  AI95-00260-02/09
 !standard  3.09  (07)
 !standard  3.09  (12)
 !standard  3.09  (18)
@@ -118,7 +118,7 @@
 
 An instance of Tags.Generic_Dispatching_Constructor raises Tag_Error if
 The_Tag does not represent a concrete descendant of T or if the
-innermost master of this descendant is not also a master of the instance.
+innermost master (see 7.6.1) of this descendant is not also a master of the instance.
 Otherwise, it dispatches to the primitive function denoted by the formal
 Constructor for the type identified by The_Tag, passing Params, and
 returns the result. Any exception raised by the function is propagated.
@@ -643,8 +643,8 @@
 
 An instance of Tags.Generic_Dispatching_Constructor
 raises Tag_Error if The_Tag does not
-represent a concrete descendant of T or if the innermost master of this
-descendant is not also a master of the instance.
+represent a concrete descendant of T or if the innermost master (see 7.6.1)
+of this descendant is not also a master of the instance.
 Otherwise, it dispatches to the primitive function denoted by the formal
 Constructor for the type identified by The_Tag, passing Params, and
 returns the result. Any exception raised by the function is propagated.

Questions? Ask the ACAA Technical Agent