[r6rs-discuss] division by exact 0

From: William D Clinger <will>
Date: Thu, 21 Jun 2007 06:28:15 -0400

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.

Will
Received on Thu Jun 21 2007 - 06:28:15 UTC