sem_ch3.adb (Access_Subprogram_Declaration): If the return type is incomplete...

sem_ch3.adb (Access_Subprogram_Declaration): If the return type is incomplete...

2008-08-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Access_Subprogram_Declaration): If the return type is
	incomplete, add the access_to_subprogram type to the list of private
	dependents only if the incomplete type will be completed in the current
	scope.
	(Build_Discriminant_Constraints): If the type of the discriminant is
	access_to_variable, reject a constraint that is access_to_constant.

From-SVN: r138784