William D Clinger
will at ccs.neu.edu
Wed Aug 30 11:54:53 EDT 2006
Mike quoting me:
> > In the current draft of the R6RS, however, (/ 0 0#) is given as an
> > example whose result could be an exact 0 or +nan.0.
The actual example is for (/ 0 0.0), which is equivalent
to (/ 0 0#).
> > In my opinion, the exact 0 result is just plain wrong
> I agree.
> > That, of course, is just my opinion, based on my
> > personal opinion that an exact 0 is not the correct
> > result of (/ 0 0). On the other hand, some of the
> > other editors evidently regard 0 as the correct result
> > of (/ 0 0), which is why the example is as it is in
> > the current draft of the R6RS.
> Is there explicit evidence or did it just get stuck in the document
> and then overlooked? (It sure got overlooked by me.)
> > I had raised this issue before, to no good result (pardon the pun),
> > so I had put it on my list of issues to be raised during the period
> > of public review and comment. If we could correct this example
> > before the first public draft, I would be delighted.
I will make that change today, unless someone objects.
More information about the R6RS