Re: Bug in srfi-48?

John Cowan <[email protected]> Fri, 13 Oct 2017 13:33:57 -0400
Newsgroups gmane.lisp.scheme.srfi.srfi-48
Message-ID <CAD2gp_RkRy-99N0F5UyxpZEu13TR+sb+T4Zub77ZCBMgX-ggGQ@mail.gmail.com>
--001a113c87a2f93f6b055b711068
Content-Type: text/plain; charset="UTF-8"
X-SL-Modified: truncated_text

On Fri, Oct 13, 2017 at 11:58 AM, Donald Allen <[email protected]>
wrote:

I must say that it's disconcerting to be finding all these problems in
> code that was finalized in 2004.


Note that it is the SRFI prose, not the code, that is finalized.  The code
is just sample code, and may have bugs like any other code.  Indeed, the
requirement to provide tests is relatively recent and has not been made
retroactive.

Nor is there any guarantee that the sample code will Just Work on all
Schemes.  Indeed, I just found a bug in my SRFI 158 test suite depending on
the fact that (/ 8) can evaluate to either 0.125 or 1/8, and that these are
not the same in the sense of `equal?`.

-- 
 John Cowan          http://vrici.lojban.org/~cowan        [email protected]
Today an interactive brochure website, tomorrow a global content
management system that leverages collective synergy to drive "outside of
the box" thinking and formulate key objectives into a win-win game plan
with a quality-driven approach that focuses on empowering key players
to drive-up their core competencies and increase expectations with an
all-around initiative to drive up the bottom-line. --Alex Papadimoulis

--001a113c87a2f93f6b055b711068
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-SL-Modified: truncated_html

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Fri, Oct 13, 2017 at 11:58 AM, Donald Allen <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:[email protected]" target=3D"_blank">donaldcallen@gmai=
l.com</a>&gt;</span> wrote:</div><div class=3D"gmail_quote"><br><blockquote=
 class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px so=
lid rgb(204,204,204);padding-left:1ex">
I must say that it&#39;s disconcerting to be finding all these problems in<=
br>
code that was finalized in 2004.=C2=A0</blockquote><div><br></div><div>Note=
 that it is the SRFI prose, not the code, that is finalized.=C2=A0 The code=
 is just sample code, and may have bugs like any other code.=C2=A0 Indeed, =
the requirement to provide tests is relatively recent and has not been made=
 retroactive.</div><div><br></div><div>Nor is there any guarantee that the =
sample code will Just Work on all Schemes.=C2=A0 Indeed, I just found a bug=
 in my SRFI 158 test suite depending on the fact that (/ 8) can evaluate to=
 either 0.125 or 1/8, and that these are not the same in the sense of `equa=
l?`.</div><div><br></div><div>--=C2=A0</div><div>=C2=A0John Cowan=C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 <a href=3D"http://vrici.lojban.org/~cowan">http://=
vrici.lojban.org/~cowan</a>=C2=A0 =C2=A0 =C2=A0 =C2=A0 <a href=3D"mailto:co=
[email protected]">[email protected]</a></div><div>Today an interactive brochure we=
bsite, tomorrow a global content</div><div>management system that leverages=
 collective synergy to drive &quot;outside of</div><div>the box&quot; think=
ing and formulate key objectives into a win-win game plan</div><div>with a =
quality-driven approach that focuses on empowering key players</div><div>to=
 drive-up their core competencies and increase expectations with an</div><d=
iv>all-around initiative to drive up the bottom-line. --Alex Papadimoulis</=
div><div><br></div></div><br></div></div>

--001a113c87a2f93f6b055b711068--