24 lines
400 B
Ada
24 lines
400 B
Ada
-- { dg-do compile }
|
|
generic
|
|
package Predicate13 is
|
|
|
|
function Valid return Boolean is
|
|
(True);
|
|
|
|
function Foo return Boolean is
|
|
(True);
|
|
|
|
type State_Type is (Valid, Invalid);
|
|
type Context_Type is private;
|
|
|
|
private
|
|
|
|
type Context_Type is
|
|
record
|
|
State : State_Type;
|
|
end record with Dynamic_Predicate => (State = Valid);
|
|
|
|
procedure Dummy;
|
|
|
|
end Predicate13;
|