This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 320: Add new cond-expand feature to Appendix B: exact-complex

2012-04-07 03:15:39
WG1 - Core
alexshinn
major
cowan
fixed
source
closed
2012-01-01 03:42:10
defect

(In this ticket, "complex" is used for readability; it is synonymous with "non-real".)

This feature is true in implementations that support complex numbers such that both the real and the imaginary parts are exact; that is, if (eqv? 3+4i 3.0+4.0i) evaluates to #f. This feature is false if complex numbers are not supported or if only inexact complex numbers are supported. Most of the applications of complex numbers use inexact numbers, but some applications may require exactness: this feature allows those applications to fail fast on implementations that cannot support them.

Existing implementations:

This is actually in draft 5, but didn't exist when cond-expand was voted on, so we need to vote on it.

statusnewdecided

The WG voted to reject this proposal.

resolutionfixed
statusdecidedclosed

Correction: the WG voted to accept this procedure. However, nothing needs to be done, as it is already in the draft.