CVS difference for 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