CVS difference for ais/ai-00251.txt

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

--- ais/ai-00251.txt	2004/06/25 01:30:36	1.22
+++ ais/ai-00251.txt	2004/07/27 23:00:49	1.23
@@ -1,4 +1,4 @@
-!standard 03.04    (02)                            04-05-27  AI95-00251/13
+!standard 03.04    (02)                            04-07-09  AI95-00251/14
 !standard 02.09    (03)
 !standard 03.02.01 (02)
 !standard 03.04    (03)
@@ -73,7 +73,7 @@
 making the type limited, and requiring a fair amount of mechanism. These
 problems would be overcome by Ada adopting the interface concept in some way.
 Moreover, this would make interfacing with Java and the new ".net"
-infrastructure from Microsoft would be significantly smoother.
+infrastructure from Microsoft significantly smoother.
 
 !proposal
 
@@ -147,7 +147,7 @@
 concrete tagged type in that class in the usual way since we know that any
 abstract operation of I1 will have been overridden. So we might have
 
-   type I1_Ref is access all T1'Class;
+   type I1_Ref is access all I1'Class;
    DT1_Var : aliased DT1;
    Ref: I1_Ref := DT1_Var'Access;
 
@@ -1447,6 +1447,7 @@
 
 !corrigendum 12.5.5(01)
 
+@dinsc
 The class determined for a formal interface type is the class of all
 interface types.
 
@@ -5182,5 +5183,37 @@
          the addition of technical note #9 .
 
 [Editor's note: This is version /11.]
+
+****************************************************************
+
+From: Javier Miranda
+Sent: Thursday, July  8, 2004  5:41 AM
+
+!standard 03.04    (02)                            04-05-27  AI95-00251/13
+
+At lines 149-151 it is said:
+
+   type I1_Ref is access all T1'Class;  --  typo here???
+   DT1_Var : aliased DT1;
+   Ref: I1_Ref := DT1_Var'Access;
+
+... and I should say:
+
+   type I1_Ref is access all I1'Class;  --  'I1' (not 'T1')
+   DT1_Var : aliased DT1;
+   Ref: I1_Ref := DT1_Var'Access;
+
+****************************************************************
+
+From: John Barnes
+Sent: Friday, July  9, 2004  1:52 AM
+
+My mistake.  I added some introductory stuff as part of the editorial review
+and this was part of it.
+
+Indeed it should be I1'Class as in the para just above.
+
+Blame the English again!
+
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent