CVS difference for ais/ai-00430.txt

--- ais/ai-00430.txt	2005/05/03 20:44:38	1.1
+++ ais/ai-00430.txt	2005/05/15 23:37:08	1.2
@@ -1,5 +1,7 @@
-!standard 3.9.2(10/1)                                 05-04-18  AI95-00430/00
+!standard 3.9.2(10/1)                                 05-05-05  AI95-00430/01
 !class amendment 05-04-18
+!status Amendment 200Y 05-05-05
+!status ARG Approved 10-0-1  05-04-18
 !status work item 05-04-18
 !status received 05-04-18
 !priority High
@@ -9,7 +11,11 @@
 
 !summary
 
-TBD.
+The conventions of inherited dispatching operations are that of the parent
+or progenitor operations. Overridings of these routines have that convention
+by default (it can be explicitly given, but if different, the program will be
+illegal). If a routine overrides multiple inherited operations, they all must
+have the same convention.
 
 !problem
 
@@ -21,14 +27,20 @@
 inherited subprogram is fixed such that even a pragma convention would be
 ignored.
 
-
 !proposal
 
 (See summary.)
 
 !wording
+
+Replace the third sentences of 3.9.2(10) by:
 
-TBD
+The convention of an inherited dispatching operation is the convention of the
+corresponding primitive operation of the parent or progenitor type. The default
+convention of a dispatching operation that overrides an inherited primitive
+operation is the convention of the inherited operation; if the operation
+overrides multiple inherited operations, then they shall all have the same
+convention.
 
 !discussion
 
@@ -39,8 +51,31 @@
 !example
 
 (See discussion.)
+
+!corrigendum 3.9.2(10)
 
---!corrigendum
+@drepl
+In the declaration of a dispatching operation of a tagged type, everywhere a
+subtype of the tagged type appears as a subtype of the profile (see 6.1), it
+shall statically match the first subtype of the tagged type. If the
+dispatching operation overrides an inherited subprogram, it shall be subtype
+conformant with the inherited subprogram. 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.
+@dby
+In the declaration of a dispatching operation of a tagged type, everywhere a
+subtype of the tagged type appears as a subtype of the profile (see 6.1), it
+shall statically match the first subtype of the tagged type. If the
+dispatching operation overrides an inherited subprogram, it shall be subtype
+conformant with the inherited subprogram.
+The convention of an inherited dispatching operation is the convention of the
+corresponding primitive operation of the parent or progenitor type. The default
+convention of a dispatching operation that overrides an inherited primitive
+operation is the convention of the inherited operation; if the operation
+overrides multiple inherited operations, then they shall all have the same
+convention. An explicitly declared dispatching
+operation shall not be of convention Intrinsic.
 
 !ACATS test