blob: 8ad17c4389f015681fb21265aff288c43a723753 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
package Generic_Inst14_Pkg.Child is
generic
type Value is private;
with package Value_Tree is new Definite_Value_Tree (Value => Value);
package Simple is
type Node is new Value_Tree.Value_Node with null record;
package Strat is new Def_Strat (Value, Value_Tree, Node);
end Simple;
generic
type Value is private;
with package A_Strat is new Def_Strat (Value => Value, others => <>);
package OK is
procedure Plop (N : A_Strat.Node) is null;
end OK;
generic
type Value is private;
with package Value_Tree is new Definite_Value_Tree (Value => Value);
with package A_Strat is
new Def_Strat (Value => Value, Value_Tree => Value_Tree, others => <>);
package Not_OK is
procedure Plop (N : A_Strat.Node) is null;
end Not_OK;
end Generic_Inst14_Pkg.Child;
|
