Re: Voting period begins, until June 21, for Motion P1788.1/M004.02
I vote NO (see below).
On 2016-06-01 19:00:27 +0200, Nathalie Revol wrote:
> As we want to have a simplified version of IEEE 1788-2015, I suggest
> that we vote on the text of Motion M004.02 (see attached file),
> which is Motion M004.01 amended as follows:
> (cf. mail by Ned Nedialkov, May 24)
> ——
> I suggest in 6.6.2 in the first item to add the text “of the same radix (10 or 16)”. The first sentence
> would read then
>
> "A string [l,u] where l and u are optional number literals of the same radix (10 or 16) with l ≤ u, l < +∞ and u > −∞, see 4.2. “
> ——
I think that this is dangerous. Strings may not necessarily be
generated from the implementation, but often comes from the outside.
And there, an interval literal with l and u of different radices may
occur. The problem is that if it is considered as invalid in P1788.1,
then the conversion by textToInterval will give Empty, which may be
surprising.
Note also that there's something missing in the text in §6.6.2:
"These number literals must be of the same Its bare value is the
^^^^^^^^
mathematical interval"
Or "These number literals must be of the same" should have been
removed.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)