CVS difference for ais/ai-00117.txt

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

--- ais/ai-00117.txt	1999/04/13 15:54:22	1.4
+++ ais/ai-00117.txt	1999/06/22 01:44:36	1.5
@@ -1,5 +1,6 @@
-!standard 03.09.02 (10)                               99-04-01  AI95-00117/04
+!standard 03.09.02 (10)                               99-06-12  AI95-00117/04
 !class binding interpretation 96-04-04
+!status WG9 approved 99-06-12
 !status ARG Approved (with changes) 7-1-1  99-03-24
 !status work item 96-04-04
 !status received 96-04-04
@@ -127,26 +128,25 @@
 
 !wording
 
-Add two bullets after 6.3.1(13):
-"If not listed above, the calling convention for any inherited
+Add an additional bullet after 6.3.1(13):
+
+If not listed above, the calling convention for any inherited
 or overriding dispatching operation of a tagged type is that
 of the corresponding subprogram of the parent type. The
 default calling convention for a new dispatching operation
 of a tagged type is the convention of the full view of the type.
-
-The default convention of any entity not listed above is Ada."
 
-Add a Note to 6.3.1.:
-"An implementation need not support a pragma Convention on a
-new dispatching operation that specifies a convention different
-from the convention of the type or its other dispatching operations."
+Add a sentence at the end of B.1(28):
 
+Unless this International Standard states otherwise, the default
+convention of an entity is Ada.
 
 The last two sentences of 3.9.2(10) should be replaced by:
-"The convention of an inherited or overriding dispatching operation
-is the convention of the corresponding primitive of the parent type.
-An explicitly declared dispatching operation shall not have convention
-Intrinsic."
+
+The convention of an inherited or overriding dispatching operation
+is the convention of the corresponding primitive operation of the parent type.
+An explicitly declared dispatching operation shall not be of convention
+Intrinsic.
 
 
 !discussion

Questions? Ask the ACAA Technical Agent