CVS difference for ais/ai-00246.txt

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

--- ais/ai-00246.txt	2001/10/19 01:36:44	1.6
+++ ais/ai-00246.txt	2002/03/13 00:48:27	1.7
@@ -1,5 +1,7 @@
-!standard 4.06  (12)                                01-10-18  AI95-00246/03
+!standard 4.06  (12)                                02-02-22  AI95-00246/04
+!standard 4.06  (09)
 !class binding interpretation  00-10-31
+!status ARG Approved 6-0-0  02-02-12
 !status work item 00-10-31
 !status received 00-10-31
 !priority Medium
@@ -143,21 +145,32 @@
 requirement for an implementation to select the same representation for similar
 type declarations.
 
+!corrigendum  4.6(9)
+
+@drepl
+If the target type is an array type, then the operand type shall be an array
+type. Further:
+@dby
+If the target type is an array type, then the operand type shall be an array
+type. The target type and operation type shall have a common ancestor, or:
+
 !corrigendum  4.6(12)
 
 @drepl
 @xbullet<The component subtypes shall statically match; and>
+@dby
+@xbullet<The component subtypes shall statically match;>
+
+!corrigendum  4.6(12.1)
+
+@drepl
 @xbullet<In a view conversion, the target type and the operand type shall both
 or neither have aliased components.>
 @dby
-@xbullet<The component subtypes shall statically match; and>
-@xbullet<If the target type and the operand type do not
-have a common ancestor, then neither type shall be limited; and>
-@xbullet<In a view conversion, the target type and the operand type shall both
-or neither have aliased components; and>
-@xbullet<In a view conversion, if the target type and the operand type do not
-have a common ancestor, then the component subtype shall not have a tagged,
-private, limited, or volatile subcomponent.>
+@xbullet<Neither the target type nor the operand type shall be limited; and>
+@xbullet<In a view conversion: the target type and the operand type shall
+both or neither have aliased components; and the operand type shall not have
+a tagged, private, limited, or volatile subcomponent.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent