Re: Motion P1788.1/M005 to avoid non-conforming interval standards
On 2016-08-14 19:02:06 +0200, Vincent Lefevre wrote:
> 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.
Or perhaps it is, so that code to return an interval containing both
l and u can be made easier (otherwise one could write hull([l],[u])).
--
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)