CVS difference for ais/ai-00345.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00345.txt

--- ais/ai-00345.txt	2004/11/25 00:03:40	1.16
+++ ais/ai-00345.txt	2004/12/09 19:55:31	1.17
@@ -269,7 +269,7 @@
 
 Replace the first sentence of 3.9.3(1) with:
 
-    An abstract type is a type intended for use as an ancestor of
+    An abstract type is a tagged type intended for use as an ancestor of
     other types, but which is not allowed to have objects of its own.
 
 Replace 3.9.3(2) with:
@@ -932,12 +932,12 @@
 cannot be created, a dispatching call to an abstract subprogram always
 dispatches to some overriding body.
 @dby
-An @i<abstract type> is a type intended for use as an ancestor of other types,
-but which is not allowed to have objects of its own. An @i<abstract subprogram>
-is a subprogram that has no body, but is intended to be overridden at some
-point when inherited. Because objects of an abstract type cannot be created, a
-dispatching call to an abstract subprogram always dispatches to some overriding
-body.
+An @i<abstract type> is a tagged type intended for use as an ancestor of other
+types, but which is not allowed to have objects of its own. An @i<abstract
+subprogram> is a subprogram that has no body, but is intended to be overridden
+at some point when inherited. Because objects of an abstract type cannot be
+created, a dispatching call to an abstract subprogram always dispatches to some
+overriding body.
 
 @i<@s8<Static Semantics>>
 

Questions? Ask the ACAA Technical Agent