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. For a version of this page that may be more recent, see WG1Ballot10Results in WG2's repo for R7RS-large.

WG1Ballot10Results

cowan
2013-07-07 01:32:55
1history
source

Notes about Results

See WG1BallotExplanation.

WG1 Ballot Items To Finalize By Jul. 6

WG1 - Core

#125 Allow procedures not to be locations (making EQV? unspecified in some additional cases)

By unanimous consent, the WG returned to the R5RS semantics.

#467 Allow eqv? and eq? to return different answers on procedures as well as integers and characters

This proposal stems from remarks by Alaric Snell-Pym and Will Clinger on the r6rs public mailing list. If eq? is allowed to return #f on two procedures when eqv? nevertheless returns #t, as is already the case for numbers and characters, then more intelligent implementation-specific procedure comparisons using eqv? are possible, while still keeping eq? simple enough to inline easily.

Note that this is orthogonal to the question of #460, how eqv? works on procedures. There should be little or no backward-compatibility hit for this change.

By unanimous consent, the WG adopted the following partial definition of the behavior of eq? on procedures:

On procedures, eq? must return true if the arguments' location tags are equal.