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

author

cowan

comment


    

ipnr

127.10.177.1

name

WG1Ballot10

readonly

0

text

= 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
  * '''Preferences:''' 

=== #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.

  * '''Proposals:'''
    * '''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
  * '''Preferences:''' 

time

2013-07-07 01:28:46

version

2