[Bug ada/16082] New: Legal program rejected, expect derived type in instantiation
ludovic dot brenta at insalien dot org
gcc-bugzilla@gcc.gnu.org
Sat Jun 19 15:00:00 GMT 2004
generic
package pak1 is
type T1 is tagged null record;
end pak1;
generic
type T2 is new T1 with private;
package pak1.pak2 is
end pak1.pak2;
with pak1.pak2;
package Test_248167 is
package new_pak1 is new pak1;
package new_pak2 is new new_pak1.pak2 (new_pak1.T1);
end Test_248167;
test_248167.ads:5:51: expect type derived from "T1" in instantiation
test_248167.ads:5:51: instantiation abandoned
gnatmake: "test_248167.ads" compilation error
--
Summary: Legal program rejected, expect derived type in
instantiation
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16082
More information about the Gcc-bugs
mailing list