1----
2with Predicate2.Project.Name_Values;
3
4private with Predicate2.Project.Registry.Attribute;
5
6package Predicate2.Project.Typ is
7
8   type Object is new Name_Values.Object with private;
9
10   Undefined : constant Object;
11
12private
13
14   use all type Predicate2.Project.Registry.Attribute.Value_Kind;
15
16   -- ???? BUG HERE: removing the Dynamic_Predicate below will allow
17   --  compilation of the unit.
18
19   type Object is new Name_Values.Object with null record
20    with Dynamic_Predicate => Object.Kind = List;
21
22   Undefined : constant Object := (Name_Values.Undefined with null record);
23
24end Predicate2.Project.Typ;
25