CVS difference for ais/ai-00034.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00034.txt

--- ais/ai-00034.txt	2000/06/20 04:22:41	1.4
+++ ais/ai-00034.txt	2000/06/21 23:39:06	1.5
@@ -24,11 +24,11 @@
 
 AARM-12.3(11.c) says:
 
-         11.c  A formal derived subtype is constrained if and only if
-               the ancestor subtype is constrained.  A formal array type
-               is constrained if and only if the declarations says so.
-               Other formal subtypes are unconstrained, even though they
-               might be constrained in an instance.
+         A formal derived subtype is constrained if and only if
+         the ancestor subtype is constrained.  A formal array type
+         is constrained if and only if the declarations says so.
+         Other formal subtypes are unconstrained, even though they
+         might be constrained in an instance.
 
 However, this does not seem to follow from the RM rules.
 
@@ -36,18 +36,17 @@
 
 3.2(9) says:
 
-9   {constrained} {unconstrained} {constrained (subtype)} {unconstrained
-(subtype)} A subtype is called an unconstrained subtype if its type has
-unknown discriminants, or if its type allows range, index, or discriminant
-constraints, but the subtype does not impose such a constraint; otherwise,
-the subtype is called a constrained subtype (since it has no unconstrained
-characteristics).
+  A subtype is called an unconstrained subtype if its type has
+  unknown discriminants, or if its type allows range, index, or discriminant
+  constraints, but the subtype does not impose such a constraint; otherwise,
+  the subtype is called a constrained subtype (since it has no unconstrained
+  characteristics).
 
 Note the distinction between "type" and "subtype".  An array type allows
 an index constraint, for example, whereas an array subtype may or may
 not impose one.
 
-Thus, 12.3(11.c) is incorrect in the case of a subtype of a formal
+Thus, AARM 12.3(11.c) is incorrect in the case of a subtype of a formal
 private type with no discriminants.  Such a subtype is constrained,
 because its type does not allow a discriminant constraint.
 

Questions? Ask the ACAA Technical Agent