generic package pak1 is x: integer; end pak1; with pak1; generic with package new_pak1 is new pak1; use new_pak1; package pak2 is end pak2; generic package pak2.pak3 is y: integer := x; end pak2.pak3; with Pak2.Pak3; procedure Test_247572 is package P is new Pak2.Pak3; begin null; end Test_247572; test_247572.adb:4:21: invalid prefix in selected component "Pak2" gnatmake: "test_247572.adb" compilation error
Confirmed.
Confirmed on 4.3.0 20071213
Still fails on mainline.