CVS difference for ais/ai-00401.txt

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

--- ais/ai-00401.txt	2005/04/14 22:16:11	1.4
+++ ais/ai-00401.txt	2005/05/15 23:45:55	1.5
@@ -1,4 +1,4 @@
-!standard 3.4(01)                                      05-04-13  AI95-00401/03
+!standard 3.4(01)                                      05-05-05  AI95-00401/04
 !standard 3.4(03)
 !standard 3.4(05)
 !standard 3.4(08)
@@ -158,9 +158,8 @@
 
 Change the paragraph added after 3.4(35) by AI95-00251 to read:
 
-An interface type which has a {progenitor type} "is derived from" that type,
-and therefore is a derived type. A derived_type_definition, however, never
-defines an interface type.
+An interface type which has a {progenitor type} "is derived from" that type.
+A derived_type_definition, however, never defines an interface type.
 
 
 Change the second sentence of 3.4.1(2) as modified by AI95-00251 to read:
@@ -256,13 +255,10 @@
 The @i<parent>@fa<_subtype_indication> defines the @i<parent subtype>; its type
 is the parent type.
 @dby
-An @i<interface>@fa<_subtype_mark> in an @fa<interface_list> names a
-@i<progenitor subtype>; its type is the @i<progenitor type>. The
-@i<parent>@fa<_subtype_indication> defines @i<the parent subtype>; its type is
-the @i<parent type>.
+The @i<parent>@fa<_subtype_indication> defines @i<the parent subtype>; its type
+is the @i<parent type>. The @fa<interface_list> defines the progenitor types
+(see 3.9.4). A derived type has one parent type and zero or more progenitor types.
 
-A derived type has one parent type and zero or more progenitor types.
-
 !corrigendum 3.4(05)
 
 @drepl
@@ -388,8 +384,8 @@
 of a type, the type is abstract (see 3.9.3).>>
 @dinst
 @xindent<@s9<18  An interface type which has a progenitor type "is derived
-from" that type, and therefore is a derived type. A
-@fa<derived_type_definition>, however, never defines an interface type.>>
+from" that type. A @fa<derived_type_definition>, however, never defines an
+interface type.>>
 
 !corrigendum 3.4.1(02)
 

Questions? Ask the ACAA Technical Agent