Version 1.1 of ais/ai-00398.txt

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

!standard 12.7(4)          05-01-25 AI95-00398/01
!class amendment 05-01-25
!status work item 05-01-25
!status received 05-01-25
!priority High
!difficulty Easy
!subject A formal parameter should be usable only once
!summary
(See proposal.)
!problem
There doesn't seem to be a rule preventing a formal package to mention the same formal parameter several times in its actual part. This was not problematic in Ada 95 because the rules were shared between formal packages and normal instantiations, but the introduction of new syntax in Ada 2005 requires extra rules.
!proposal
(See wording.)
!wording
Add after 12.7(4):
A formal_package_actual_part shall contain at most one formal_package_association for each formal parameter. If the formal_package_actual_part does not include "others => <>", each formal parameter without an association shall have a default_expression or subprogram_default.
!discussion
See proposal.
!example
--!corrigendum
!ACATS test
!appendix

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

Questions? Ask the ACAA Technical Agent