!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 !status received 95-06-25 !priority Low !difficulty Easy !subject Typo: Enumeration_IO would allow instantiation for an [float] {integer} type !summary Enumeration_IO cannot be instantiated for a floating point type. !question A.10.10(17) says: "Enumeration_IO would allow instantiation for an float type". This is obviously a typo; "integer" is meant. !recommendation Enumeration_IO cannot be instantiated for a floating point type. !wording Change "an float" to "an integer" in A.10.10(17). !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 !section A.10.10(17) !subject Typo: Enumeration_IO would allow instantiation for an [float] {integer} type !reference RM9X-A.10.10(17);5.95 !from Norman Cohen !reference as: 95-5067.a Norman H. Cohen 95-1-23>> !discussion Oh dear. **************************************************************** !section A.10.10(17) !subject ... would allow instantiation for an [float]{integer} type ... !reference RM95-A.10.10(17) !from Keith Thompson 95-05-10 !keywords typo !reference as: 95-5141.b Keith Thompson 95-5-10>> **************************************************************** !section A.10.10(17) !subject "for a[n] float type" !reference RM95-A.10.10(17) !from Arthur Evans Jr !reference 96-5443.a Arthur Evans Jr 96-3-11>> ****************************************************************