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 125: Allow procedures not to be locations (making EQV? unspecified in some additional cases)

2012-08-27 06:57:26
WG1 - Core
cowan
major
cowan
fixed
source
closed
2010-12-27 15:33:13
defect

This is an R6RS change.

resolution␣␣
statusnewdecided

We voted to use the R6RS semantics.

owneralexshinncowan
statusdecidedwriting

Reopened to let WG settle all issues around eqv? once and for all. This includes not only procedures but -0.0 and NaNs.

See also #229 for -0.0 and #345 for NaNs, and #423 for places that may need fixing.

resolution␣fixed
statuswritingclosed

Oops, didn't actually reopen it.

resolutionfixed␣
statusclosedreopened
statusreopeneddecided

WG1 voted to make no change: the behavior of eqv? on procedures is explicitly unspecified.

resolution␣fixed
statusdecidedclosed