Version 1.2 of ais/ai-00007.txt
!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)
Replace the paragraph:
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.
by:
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>>
****************************************************************
Questions? Ask the ACAA Technical Agent