blob: 545d72ee9d30740c145dc36136867a7b9c1cebec [file] [log] [blame]
-- { dg-do compile }
with Generic_Inst3_Kafka_Lib.Topic;
with Generic_Inst3_Traits.Encodables;
with Generic_Inst3_Markets;
procedure Generic_Inst3 is
generic
with package Values is new Generic_Inst3_Traits.Encodables (<>);
with package Topic is new Generic_Inst3_Kafka_Lib.Topic
(Values => Values, others => <>);
package Dummy is
end Dummy;
package Inst is new Dummy
(Values => Generic_Inst3_Markets.Data_Encodables,
Topic => Generic_Inst3_Markets.Data_Topic);
begin
null;
end Generic_Inst3;