CVS difference for ais/ai-00168.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00168.txt

--- ais/ai-00168.txt	1999/06/22 01:44:37	1.6
+++ ais/ai-00168.txt	1999/07/28 00:08:45	1.7
@@ -1,5 +1,6 @@
-!standard 04.06    (00)                               99-06-12  AI95-00168/03
+!standard 04.06    (00)                               99-07-27  AI95-00168/04
 !class binding interpretation 96-11-16
+!status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
 !status ARG Approved 7-0-0  98-10-09
 !status work item 98-04-04
@@ -104,6 +105,33 @@
 forbidding such a constraint seems like the right solution, especially
 considering that constraints on access types are not a terribly useful
 feature.
+
+!corrigendum 3.07.01(7)
+
+@dinsa
+A @fa<discriminant_constraint> is only allowed in a @fa<subtype_indication> whose
+@fa<subtype_mark> denotes either an unconstrained discriminated subtype, or an
+unconstrained access subtype whose designated subtype is an unconstrained
+discriminated subtype.
+@dinst
+A @fa<discriminant_constraint> is not allowed in a @fa<subtype_indication> whose
+@fa<subtype_mark> denotes a general access subtype whose designated subtype is a
+private type with defaulted discriminants, if the partial view of the private
+type has no discriminants.
+
+!corrigendum 4.06(12)
+
+@dinsa
+@xbullet<The component subtypes shall statically match.>
+@dinst
+In a view conversion for an array type, the target type and the operand type
+shall either both have aliased components, or both have non-aliased
+components.
+
+!ACATS test
+
+B-Tests should be created for each rule. (There must be two, since the rules
+are in different sections.)
 
 !appendix
 

Questions? Ask the ACAA Technical Agent