CVS difference for ai12s/ai12-0421-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0421-1.txt

--- ai12s/ai12-0421-1.txt	2021/01/15 07:40:06	1.2
+++ ai12s/ai12-0421-1.txt	2021/01/20 01:34:49	1.3
@@ -22,13 +22,13 @@
    package Pkg is
       package P1 is
          type T1 is tagged null record;
-         function F (F1 : T1; Flag : Boolean := False);
+         function F (F1 : T1; Flag : Boolean := False) return Boolean;
          procedure Op (X1 : T1) with Pre'Class => F (F1 => X1);
       end P1;
 
       package P2 is
          type T2 is new P1.T1 with null record;
-         overriding function F (F2 : T2; Flag : Boolean := True);
+         overriding function F (F2 : T2; Flag : Boolean := True) return Boolean;
          overriding procedure Op (X2 : T2);
       end P2;
    end Pkg;
@@ -63,7 +63,7 @@
 like:
 
    * References of primitive subprograms of an ancestor of T other than S are 
-     replaced by to the corresponding subprograms inherited by the descendant of
+     replaced by the corresponding subprograms inherited by the descendant of
      T (even if those are hidden by subsequent overridding).
 
 Tucker noted that the Dynamic Semantics does the right thing without needing
@@ -86,5 +86,11 @@
 
 
 !appendix
+
+From: Jeff Cousins
+Sent: Tuesday, January 19, 2021  11:00 AM
+
+For the record, before 421 disappears, both of the functions in the question require 
+"return Boolean", and "by to the" in the discussion should lose the "to".
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent