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