Re: Motion P1788.1/M005 to avoid non-conforming interval standards
Here is a program with different output in 1788.1 and in 1788 :
char *s = "[ 0x0.0p0 , 1.0 ]";
bareInterval x = textToBareInterval (s);
if (isEmpty(x))
printf("1788.1\n");
else
printf("1788\n");
The string s is not a valid interval literal in 1788.1 though it is a valid interval literal in 1788.1 .
The constructor textToBareInterval(s) in 1788.1 fails and returns bare interval Empty.
The constructor succeeds in 1788 and returns bare interval containing [0,1] (probably [0,1] itself).
I believe that interval literal is the only topic where behavior is different.
-Dima
----- Original Message -----
From: rbk5287@xxxxxxxxxxxxx
To: dmitry.nadezhin@xxxxxxxxxx, stds-1788@xxxxxxxxxxxxxxxxx
Sent: Sunday, August 7, 2016 11:46:12 PM GMT +03:00 Iraq
Subject: Re: Motion P1788.1/M005 to avoid non-conforming interval standards
Can we have a recapitulation of where 1788.1 is
a subset of 1788 (a program running on a 1788.1 conforming system
will behave as if it were running on a 1788 conforming system)
or how it is not? Isn't this a separate issue of whether 1788.1
is a flavor of 1788?
Baker
On 08/07/2016 07:19 AM, Dmitry Nadezhin wrote:
> Dear colleagues,
>
> I suggest a motion P1788.1/M005 .
>
> Motion P1788.1/M005:
> Avoid non-conforming interval standards.
>
> Rationale:
> Producing two non-conforming interval standards is a
> bad message for the end-users.
> There at least two ways to avoid this:
> a) Make 1788.1 a flavor of 1788 ;
> b) Honestly admit that P1788 is too complicated
> and declare that 1788.1 supersedes 1788 .
>
> Best Regards,
> -Dima
>
--
---------------------------------------------------------------
Ralph Baker Kearfott, rbk@xxxxxxxxxxxxx (337) 482-5346 (fax)
(337) 482-5270 (work) (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------