Version 1.1 of ais/ai-00430.txt

Unformatted version of ais/ai-00430.txt version 1.1
Other versions for file ais/ai-00430.txt

!standard 3.9.2(10/1)          05-04-18 AI95-00430/00
!class amendment 05-04-18
!status work item 05-04-18
!status received 05-04-18
!priority High
!difficulty Easy
!subject Conventions of inherited subprograms
!summary
TBD.
!problem
3.9.2(10/1) does not say what happens when a type inherits routines with different conventions.
In addition, an unfriendly reading of 3.9.2(10/1) would suggest that the convention of an inherited subprogram is fixed such that even a pragma convention would be ignored.
!proposal
(See summary.)
!wording
TBD
!discussion
The requirement that an overriding subprogram is subtype conformant (which requires matching conventions) provides some relief. But it is better to say the obvious up front.
!example
(See discussion.)
--!corrigendum
!ACATS test
!appendix

*************************************************************

Questions? Ask the ACAA Technical Agent