CVS difference for ais/ai-00391.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00391.txt

--- ais/ai-00391.txt	2004/12/09 19:53:44	1.5
+++ ais/ai-00391.txt	2005/01/07 03:07:45	1.6
@@ -168,11 +168,10 @@
 parameter (see 6.4.1) performs any necessary type conversion as well. If the
 result type of the inherited subprogram is the derived type, the result of
 calling the parent's subprogram is converted to the derived type, or in the
-case of a null extension, extended to the derived type with an
-@fa<extension_aggregate> of the form:
+case of a null extension, extended to the derived type using the equivalent of
+an @fa<extension_aggregate> with the original result as the @fa<ancestor_part>
+and @b<null record> as the @fa<record_component_association_list>.
 
-@xcode<(@i<<parent function result@>> @b<with null record>)>
-
 !corrigendum 3.9.1(4)
 
 @dinsa
@@ -192,8 +191,9 @@
 subprogram, or a primitive function with a controlling result, then:
 @dby
 For a derived type, if the parent or abstract type has an abstract
-formal subprogram, or a type other than a null extension inherits a primitive
-function with a controlling result, then:
+primitive subprogram, has a primitive function with a controlling
+access result, or, for a derived type other than a null extension,
+has a primitive function with a controlling result, then:
 
 !corrigendum 3.9.3(6)
 

Questions? Ask the ACAA Technical Agent