[Ada] Conformance checks on partially parametrized formal packages

[Arnaud Charlet <charlet at adacore dot com>]

A formal subprogram of the formal package can be specified with a box default,
or can be covered by an others association with a box initialization. In either
case there is no need to check its conformance with the actual subprogram that
appears in the instantiation of the formal package. This patch covers the case
of an others association, whose representation is different from that of an
explicit box initialization for the formal subprogram.

Tested on x86_64-pc-linux-gnu, committed on trunk

2011-11-21  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Check_Formal_Package_Instance): If a formal
	subprogram of the formal package is covered by an others
	association with a box initialization, no check is needed
	against the actual in the instantiation of the formal package.

Attachment: difs
Description: Text document