Re: Motion P1788/M0051:IntervalLiteralsText -- discussion period begins
A few comments concerning the portable literals (12.11.6):
In Table 2.2, 4th example, "Inf" should be replaced by "inf" since
lowercase is assumed.
Concerning the grammar (and Table 2.2):
* What about [r] in addition to [entire]? In practice, the uppercase
form [R] would normally be used, as R typically denote the set of
real numbers. But see another proposition below.
* I'm not fond of the ?? forms for unbounded intervals, though they
can be concise. For such intervals, I'd rather use [r] (which is
even more concise), and literals like [-inf,17] and [17,inf].
When "inf" is used on the left side, can the minus sign be implied
since there is no ambiguity in this context ("inf" just meaning
unbounded on this side)? Or leave the field blank, e.g. [,17] and
[17,] (then [,] would mean [entire])?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)