http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22164
baptiste fouques <bat at m4tp dot org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bat at m4tp dot org --- Comment #6 from baptiste fouques <bat at m4tp dot org> 2011-10-06 10:58:56 UTC --- seems still present in gcc 4.5.3 it passes OK in most situations, but fails with 2005 extension and match checks. should be re-opened --- generic type Data is range <>; -- would pass with "Type Data is private" or anything even less constraint type Table is array (Positive range <>) of access Data; package Test is end Test; --- with Test; package Test_2 is type My_Data is range 0 .. 16#ff#; type Data_Table is array (Positive range <>) of access My_Data; package Instance is new Test ( Data => My_Data, Table => Data_Table ); end Test_2; --- gcc -c -gnatc -g -gnatq -gnatQ test_2.ads test_2.ads:11:16: component subtype of actual does not match that of formal "Table" test_2.ads:11:16: instantiation abandoned