Version 1.1 of 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