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.

resolutionfixed
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.

resolutionfixed
statusdecidedclosed