CVS difference for ais/ai-00175.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00175.txt

--- ais/ai-00175.txt	1998/09/30 00:17:32	1.1
+++ ais/ai-00175.txt	1999/02/28 01:57:53	1.2
@@ -1,6 +1,6 @@
-!standard 06.03.01 (19)                               97-03-19  AI95-00175/01
+!standard 06.03.01 (19)                               99-02-27  AI95-00175/02
 !class binding interpretation 97-03-19
-!status work item
+!status work item 97-03-19
 !status received 97-03-19
 !priority Low
 !difficulty Easy
@@ -11,17 +11,32 @@
 For two attribute_references to fully conform, the attribute_designator
 must be the same.
 
-!question 97-03-19
+!question 99-02-27
 
+Is Integer'Succ fully conformant with Integer'Pred? (No.)
 
-!recommendation 97-03-19
+From 6.3.1(19-22), it would appear so:  both attribute_references
+have the syntactic construction
+  prefix ' attribute_designator :=
+  name ' identifer
 
+!recommendation 99-02-27
 
-!wording 97-03-19
+(See summary.)
 
+!wording 99-02-27
 
-!discussion 97-03-19
+Add an additional bullet after 6.3.1(21):
 
+each attribute_designator must be the same as the corresponding
+attribute_designator in the other; and
+
+!discussion 99-02-27
+
+It would be ludicrous to treat two different attributes to be fully
+conformant. None of the reasons for conformance checking would be
+enforced if this was true. Thus, the RM's failure to require this can
+only be categoried as an oversight.
 
 !appendix 97-03-19
 

Questions? Ask the ACAA Technical Agent