为什么Dynamic_Predicate不起作用？

Question

我昨天开始学习Ada，但我不太了解Dynamic_Predicate＆＃39;方面。 宣告时：

type evenInt is new Integer
 with Dynamic_Predicate => evenInt mod 2 = 0;

为什么仍然可以：

anOddNum : evenInt := 7;

自：

Dynamic_Predicate => evenInt mod 2 = 0 

禁止申报奇数？

Answer 1

您需要在启用断言（-gnata）

的情况下进行编译