CVS difference for ais/ai-00251.txt

Differences between 1.25 and version 1.26
Log of other versions for file ais/ai-00251.txt

--- ais/ai-00251.txt	2004/10/05 22:49:04	1.25
+++ ais/ai-00251.txt	2004/11/03 00:53:40	1.26
@@ -1,4 +1,4 @@
-!standard 03.04    (02)                            04-09-22   AI95-00251/15
+!standard 03.04    (02)                            04-11-02   AI95-00251/16
 !standard 02.09    (02)
 !standard 03.02.01 (02)
 !standard 03.04    (03)
@@ -250,7 +250,7 @@
     Replace paragraphs 4-5 with
 
         If a type inherits a subprogram corresponding to an abstract
-        subprogram or to a function with a controlling result, then
+        subprogram or to a function with a controlling result, then:
 
            - If the inheriting type is abstract or untagged, the inherited
              subprogram is abstract.
@@ -384,7 +384,7 @@
         convertible (back) to the operand type.
 
         If there is a type that is an ancestor of both the target type
-        and the operand type, then
+        and the operand type, then:
 
             - The target type shall be untagged; or
 
@@ -399,7 +399,7 @@
               be an interface type.
 
         If there is no type that is an ancestor of both the target type
-        and the operand type, then
+        and the operand type, then:
 
     Existing paragraphs 8, 9-12.1/1, 13-17, and 18-20 become bullets under
     "If there is no type ...".
@@ -801,7 +801,7 @@
          function Source_Value return Source;
      end Q;
 
-     with Q
+     with Q;
      package body P is
          Converted : Target := Target (Q.Source_Value); -- legal
          ...
@@ -1064,7 +1064,7 @@
 subprogram, or a primitive function with a controlling result, then:
 @dby
 If a type inherits a subprogram corresponding to an abstract subprogram or to a
-function with a controlling result, then
+function with a controlling result, then:
 
 !corrigendum 3.9.3(05)
 
@@ -1146,7 +1146,7 @@
 (back) to the operand type.
 
 If there is a type that is an ancestor of both the target type and the operand
-type, then
+type, then:
 
 @xbullet<The target type shall be untagged; or>
 
@@ -1160,7 +1160,7 @@
 specific type associated with at least one of them shall be an interface type.>
 
 If there is no type that is an ancestor of both the target type
-and the operand type, then
+and the operand type, then:
 
 @xbullet<If the target type is a numeric type, then the operand type shall be a
 numeric type.>

Questions? Ask the ACAA Technical Agent