Bug#315414: gnat: Rejects matching parameter in generic instantiation as non-matching

forwarded 315414 http://gcc.gnu.org/bugzilla/PR22164 thanks (correcting the URL above) I wrote: >package Instance_Of_Q is new P.Q (Formal_Array_Type => Array_Type); This should be: package Instance_Of_Q is new Instance_Of_P.Q (Formal_Array_Type => Array_Type); -- Ludovic Brenta.

Bug#315414: gnat: Rejects matching parameter in generic instantiation as non-matching

tags 315414 confirmed upstream forwarded 315414 http://gcc.gnu.org/PR22165 thanks The following test case isolates the problem more closely. -- ARM 15.5.3(7): "The component subtypes of the formal and actual -- array types shall statically match." generic package P is type T is private; pr

Bug#315414: gnat: Rejects matching parameter in generic instantiation as non-matching

Package: gnat Version: 3.15p-12 Severity: normal The included code example is rejected with the following error message: - gnatgcc -c -O0 -gnatE -gnato -gnatv -gnatv -gnati1 -gnatf -gnato -fstack-check demo.adb GNAT 3.15p (20020523) Copyright 1992-2002 Free Software Foundation, Inc. Comp