Re: Common interval literals
On 2015-03-05 08:37:44 -0800, Dmitry Nadezhin wrote:
> > Note also that I prefer "denoting" to "with a [common] value", since
> > "value" has too many meanings and the definition of interval literals
> > in §9.4.1 uses the term "denotes".
>
> "Denoting" is used for literals.
> "with a [common] value" is uses for operations (like textToInterval(s)).
But for textToInterval(s), it is said: "If s is a valid bare
interval *literal* with a common value x" and "If s is a valid
decorated interval *literal* with a common value xcom".
--
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)