CVS difference for ai05s/ai05-0153-1.txt

--- ai05s/ai05-0153-1.txt	2010/02/12 06:10:39	1.4
+++ ai05s/ai05-0153-1.txt	2010/02/23 07:31:06	1.5
@@ -113,6 +113,21 @@
 also have a legality rule so when it is statically known (outside of a generic)
 we detect the problem at compile-time.]
 
+Add after 3.6.1(5):
+
+The discrete_range of an index_constraint shall not statically denote a
+subtype with a predicate.
+
+Add as the last sentence of 3.6.1(8):
+
+The elaboration of an index_constraint raises Program_Error if any
+discrete_range is a subtype with a predicate.
+
+AARM Reason: We don't want to create "holey" array subtypes. By raising
+Program_Error, we prevent generic contract problems. But we also have a legality
+rule so when it is statically known (outside of a generic) we detect the problem
+at compile-time.]
+
 Add after 4.1.2(4):
 
 Legality Rules