CVS difference for ais/ai-00127.txt

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

--- ais/ai-00127.txt	1999/08/31 22:53:55	1.5
+++ ais/ai-00127.txt	1999/09/16 20:40:29	1.6
@@ -1,4 +1,4 @@
-!standard 03.09.02 (07)                               99-08-31  AI95-00127/05
+!standard 03.09.02 (07)                               99-09-15  AI95-00127/06
 !standard 03.09.02 (09)
 !standard 03.10.02 (24)
 !standard 03.10.02 (27)
@@ -154,14 +154,14 @@
 
 @drepl
 If the expected type for an expression or @fa<name> is some specific tagged
-type, then the expression or name shall not be dynamically tagged unless it
+type, then the expression or @fa<name> shall not be dynamically tagged unless it
 is a controlling operand in a call on a dispatching operation.  Similarly, if
 the expected type for an expression is an anonymous access-to-specific tagged
 type, then the expression shall not be of an access-to-class-wide type unless
 it designates a controlling operand in a call on a dispatching operation.
 @dby
 If the expected type for an expression or @fa<name> is some specific tagged
-type, then the expression or name shall not be dynamically tagged unless
+type, then the expression or @fa<name> shall not be dynamically tagged unless
 it is a controlling operand in a call on a dispatching operation.
 Similarly, if the expected type for an expression is an anonymous
 access-to-specific tagged type, then the expression shall not be
@@ -179,7 +179,7 @@
 view of an object, including possibly the current instance
 (see 8.6) of a limited type within its definition, or a
 formal parameter or generic formal object of a tagged type.
-The view denoted by the prefix X shall satisfy the following
+The view denoted by the @fa<prefix> X shall satisfy the following
 additional requirements, presuming the expected type for
 X'Access is the general access type @i<A>:>
 @dby
@@ -191,7 +191,7 @@
 view of an object, including possibly the current instance
 (see 8.6) of a limited type within its definition, or a
 formal parameter or generic formal object of a tagged type.
-The view denoted by the prefix X shall satisfy the following
+The view denoted by the @fa<prefix> X shall satisfy the following
 additional requirements, presuming the expected type for
 X'Access is the general access type @i<A>, with designated type @i<D>:>
 

Questions? Ask the ACAA Technical Agent