[Ada] ACATS BXE2011

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on HEAD

This change improves the error message for incorrectly typed expressions
by using the original source code casing for the name of the expected type
instead of using all caps, in one case where the expected type is an
expander-generated type. See e.g. ACATS BXE2011

2005-03-29  Thomas Quinot  <quinot@adacore.com>

	* sem_cat.adb (Validate_Remote_Types_Type_Conversion): Perform check to
	forbid conversion of a local access-to-subprogram type to a remote one.

	* sem_util.adb (Wrong_Type): For a record type that is the expanded
	equivalent type for a remote access-to-subprogram type, go back to the
	original RAS entity when displaying an error message, so the casing is
	the original source casing.

Attachment: difs.18
Description: Text document