[Ada] yet another fix in handling of limited-with

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on mainline.

In an context where both the limited and non-limited views of a package
are available, two references to the same type may correspond to its
non-limited and limited view. When checking conformance, always use the
non-limited view if available.
The following must compile without errors:
gcc -c -gnat05 -gnatc d.ads

package B is
   type B_Type is new Integer;
end;

limited with B;
package C is
   type C_Type is abstract tagged null record;
   procedure P (
     A_C : C_Type;
     A_B : access B.B_Type)
   is abstract;
end;

with B;
with C;
package D is
   type D_Type is new C.C_Type with null record;
   procedure P (
     A_D : D_Type;
     A_B : access B.B_Type);
end;

2005-07-04  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Conforming_Types): If the types are anonymous access
	types check whether some designated type is a limited view, and use
	the non-limited view if available.

Attachment: difs.18
Description: Text document