Re: Common interval literals
Vincent,
>> Also
>> - I removed red highlighting;
>> - Changed names of subsubsection
>> Common bare intervals -> Common bare interval literals;
>> Portable decorated intervals -> Decorated interval literals.
>> - Moved description of decorated textToInterval(s) after
>> general paragraphs about about decorated constructors.
>
>To avoid any ambiguity when reading out of context, I would change
>"The operation textToInterval(s)" to "The *bare* operation [...]"
>(page 31 line 18).
>
>And ditto for numsToInterval line 16 since there's also a decorated
>version according to lines 23-24 (I forgot that earlier).
Done in repository.
> Page 31 lines 25-26, I don't understand "except for the decorated
> textToInterval(s) constructor."
This means that the textToInterval(s) constructor is an exemption of the above rule.
Bare constructor textToInterval("[1,2]_com") has no value,
but the decorated constructor textToInterval("[1,2]_com") has the common decorated value
"[1,2]_com".
Have you a suggestion how to say it clearer ?
-Dima
--
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)