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.
Source for wiki WG1Ballot10 version 2
= Notes about Results =
See [wiki:WG1BallotExplanation 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) ===
This is a change also made by R6RS, specifically:
> A quasiquote expression may return either fresh, mutable objects or literal structure
> for any structure that is constructed at run time during the evaluation of the expression.
> Portions that do not need to be rebuilt are always literal
* '''Options:''' r6rs, r5rs, undecided
* '''Default:''' r5rs
=== #467 Allow eqv? and eq? to return different answers on procedures as well as integers and characters ===
This proposal stems from [http://lists.r6rs.org/pipermail/r6rs-discuss/2012-July/006405.html 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.
* '''same:''' `eq?` and `eqv?` always return the same on procedures, per R5RS and R6RS
* '''different:''' `eq?` may return `#f` on procedures even when `eqv?` returns `#t` (but not vice versa)
* '''Options:''' same, different, undecided
* '''Default:''' same