CVS difference for ais/ai-00215.txt

--- ais/ai-00215.txt	1999/06/22 01:44:38	1.3
+++ ais/ai-00215.txt	1999/07/28 00:08:45	1.4
@@ -1,5 +1,6 @@
-!standard E.4       (18)                              99-06-12  AI95-00215/01
+!standard E.4       (18)                              99-07-27  AI95-00215/02
 !class binding interpretation 99-02-12
+!status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
 !status ARG Approved 9-0-0  99-03-24
 !status work item 99-02-12
@@ -50,6 +51,26 @@
 remote function call return code when the object is marshalled to be
 returned to the caller.
 
+!corrigendum E.4(18)
+
+@drepl
+In a remote subprogram call with a formal parameter of a class-wide
+type, a check is made that the tag of the actual parameter identifies a
+tagged type declared in a declared-pure or shared passive library unit, or in
+the visible part of a remote types or remote call interface library unit.
+Program_Error is raised if this check fails.
+@dby
+In a remote subprogram call with a formal parameter of a class-wide
+type, a check is made that the tag of the actual parameter identifies a
+tagged type declared in a declared-pure or shared passive library unit, or in
+the visible part of a remote types or remote call interface library unit.
+Program_Error is raised if this check fails. In a remote function call which
+returns a class-wide type, the same check is made on the function result.
+
+!ACATS test
+
+ACATS test CXE4005 includes this case.
+
 !appendix
 
 Randy Brukardt, 2-12-99
@@ -65,7 +86,7 @@
 E.4(18). Either allows values with tags of types not visible to a partition
 to be passed to a partition.
 
-I note that there is a a possible problem with the formulation of the AI.
+I note that there is a possible problem with the formulation of the AI.
 That is that the caller makes the check for a parameter of a remote subprogram
 call. That is not a problem, as the caller always knows that it is making
 a remote subprogram call. However, for a function result, the callee must