CVS difference for ais/ai-00007.txt

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

--- ais/ai-00007.txt	1998/09/30 00:17:07	1.1
+++ ais/ai-00007.txt	1999/06/26 01:11:13	1.2
@@ -1,5 +1,6 @@
-!standard A.10.10  (17)                               96-07-23  AI95-00007/00
+!standard A.10.10  (17)                               99-06-25  AI95-00007/01
 !class binding interpretation 95-06-25
+!status Corrigendum 2000 99-05-24
 !status WG9 approved 96-12-07
 !status ARG approved 9-0-0  96-06-17
 !status work item 96-04-04
@@ -8,27 +9,49 @@
 !difficulty Easy
 !subject Typo: Enumeration_IO would allow instantiation for an [float] {integer} type
 
-!summary 95-06-25
+!summary
 
 Enumeration_IO cannot be instantiated for a floating point type.
 
-!question 95-06-25
+!question
 
 A.10.10(17) says: "Enumeration_IO would allow instantiation for an float
 type".  This is obviously a typo; "integer" is meant.
 
-!recommendation 95-06-25
+!recommendation
 
 Enumeration_IO cannot be instantiated for a floating point type.
 
-!wording 95-06-25
+!wording
 
 Change "an float" to "an integer" in A.10.10(17).
 
-!discussion 95-06-25
+!discussion
+
+(See summary.)
+
+!corrigendum A.10.10(17)
 
+@drepl
+Although the specification of the generic package Enumeration_IO would
+allow instantiation for an float type, this is not the intended purpose of
+this generic package, and the effect of such instantiations is not defined by
+the language.
+@dby
+Although the specification of the generic package Enumeration_IO would
+allow instantiation for an integer type, this is not the intended purpose
+of this generic package, and the effect of such instantiations is not
+defined by the language.
+
+!ACATS test
+
+A test would be of little value here. It would be possible to write a B-Test to check that
+this was not implemented as written in the RM (to check that Float is not
+allowed, and Integer is allowed), but it is unlikely that an implementor
+would get this wrong. In addition, the behavior of a successful instantiation
+is undefined, so this cannot be a portability issue.
 
-!appendix 96-04-04
+!appendix
 
 !section A.10.10(17)
 !subject Typo: Enumeration_IO would allow instantiation for an [float] {integer} type
@@ -54,7 +77,5 @@
 !reference  RM95-A.10.10(17)
 !from       Arthur Evans Jr
 !reference 96-5443.a Arthur Evans Jr 96-3-11>>
-
-
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent