CVS difference for ais/ai-10260.txt

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

--- ais/ai-10260.txt	2005/04/13 05:37:26	1.9
+++ ais/ai-10260.txt	2005/06/16 23:47:47	1.10
@@ -570,7 +570,7 @@
     @b<function> External_Tag(T : Tag) @b<return> String;
     @b<function> Internal_Tag(External : String) @b<return> Tag;>
 @dinst
-@xcode<    @b<function> Parent_Tag (T : Tag) return Tag;>
+@xcode<    @b<function> Parent_Tag (T : Tag) @b<return> Tag;>
 
 !corrigendum 3.9(9)
 
@@ -669,7 +669,7 @@
 dispatching call.
 @dby
 The primitive subprograms of a tagged type and the subprograms declared by
-@fa<formal_abstract_subprogram_declaration>s, are called @i<dispatching
+@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
@@ -713,12 +713,12 @@
 @xindent<@s9<73  This subclause covers calls on primitive subprograms of
 a tagged type. Rules for tagged type membership tests are described
 in 4.5.2. Controlling tag determination for an @fa<assignment_statement>
-is described in 5.2).>>
+is described in 5.2.>>
 @dby
 @xindent<@s9<73  This subclause covers calls on dispatching subprograms of
 a tagged type. Rules for tagged type membership tests are described
 in 4.5.2. Controlling tag determination for an @fa<assignment_statement>
-is described in 5.2).>>
+is described in 5.2.>>
 
 !corrigendum 3.9.3(3)
 
@@ -728,7 +728,7 @@
 type, then the tagged type shall be abstract.
 @dby
 A subprogram declared by an @fa<abstract_subprogram_declaration> (see 6.1) or
-declared declared by a @fa<formal_abstract_subprogram_declaration> (see 12.6)
+declared by a @fa<formal_abstract_subprogram_declaration> (see 12.6)
 is an @i<abstract subprogram>. If it is a primitive subprogram of a tagged type,
 then the tagged type shall be abstract.
 
@@ -778,7 +778,7 @@
 @fa<formal_abstract_subprogram_declaration>. Similarly, if the result of an
 @fa<formal_abstract_subprogram_declaration> for a function is of a specific
 tagged type T or of an anonymous access designating a specific tagged type T,
-T is called a @fa<controlling type> of the
+T is called a controlling type of the
 @fa<formal_abstract_subprogram_declaration>. A
 @fa<formal_abstract_subprogram_declaration> shall have exactly one controlling
 type.
@@ -796,7 +796,7 @@
 of the formal.
 @dinst
 The subprogram declared by a @fa<formal_abstract_subprogram_declaration> with a
-controlling type T is a dispatching operation of type T.
+controlling type @i<T> is a dispatching operation of type @i<T>.
 
 !corrigendum 12.6(16)
 

Questions? Ask the ACAA Technical Agent