[r6rs-discuss] division by exact 0

From: Michael Sperber <sperber>
Date: Fri, 22 Jun 2007 13:36:09 +0200

William D Clinger <will at ccs.neu.edu> writes:

> The specification of / says the divisor(s) "must not
> be (exact) 0", but goes on to provide these examples:
>
> (/ 1.0 0) => +inf.0
> (/ 0.0 0) => +nan.0
>
> Since these examples do not "illustrate the behavior
> specified in the entry", they must be normative (see
> R5.94RS section 5.3). That renders the specification
> unimplementable, which was probably not the intent of
> the editors.

Indeed. Will fix. Thanks!

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Fri Jun 22 2007 - 07:36:09 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC