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.