Re: Motion P1788.1/M005 to avoid non-conforming interval standards
On 2016-08-07 23:45:44 -0700, Dmitry Nadezhin wrote:
> b) if string s = [l,u] is not an interval literal because l > u.
> Level 1 constructor has not value.
> 1788.1 level 2 constructor may return
> either Empty/NaI
> or any interval which contains [u,l] .
I'm not sure that "which contains [u,l]" is really useful.
--
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)