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 ticket #423

cc


    

changetime

2012-10-12 03:15:38

component

WG1 - Core

description

Submitter's name: Richard Kelsey

Submitter's email: kelsey at s48.org

Relevant draft: r7rs draft 6

Type: defect

Priority: major

Relevant section of draft: Equivalence predicates

Summary: The list of cases where `eqv?` returns `#t` does not mention procedures.

Several of the `eqv?` examples have `eqv?` returning `#t` when comparing procedures.  `Eq?` is required to behave identically to `eqv?` on procedures, and one `eq?` example returns `#t` when comparing procedures.

I suggest that you go back to R5RS's notion of having procedures tagged
with locations.

If the location tags are not used, then either come up with some other
was to tell when two procedures are the same or change the `eqv?` and
`eq?` examples so that no procedure comparison returns `#t`.  Also, the
formal semantics needs to be changed, as it still has a location as
part of a procedure value and uses that location in its definition of
`eqv?`.

id

423

keywords


    

milestone


    

owner

cowan

priority

major

reporter

cowan

resolution

wontfix

severity


    

status

closed

summary

Formal Comment: The list of cases where `eqv?` returns `#t` does not mention procedures

time

2012-06-28 12:16:15

type

defect

Changes

Change at time 2012-10-12 03:15:38

author

cowan

field

comment

newvalue


    

oldvalue

2

raw-time

1349986538806227

ticket

423

time

2012-10-12 03:15:38

Change at time 2012-10-12 03:15:38

author

cowan

field

resolution

newvalue

wontfix

oldvalue


    

raw-time

1349986538806227

ticket

423

time

2012-10-12 03:15:38

Change at time 2012-10-12 03:15:38

author

cowan

field

status

newvalue

closed

oldvalue

accepted

raw-time

1349986538806227

ticket

423

time

2012-10-12 03:15:38

Change at time 2012-06-28 12:54:43

author

cowan

field

comment

newvalue


    

oldvalue

1

raw-time

1340862883473187

ticket

423

time

2012-06-28 12:54:43

Change at time 2012-06-28 12:54:43

author

cowan

field

summary

newvalue

Formal Comment: The list of cases where `eqv?` returns `#t` does not mention procedures

oldvalue

Formal Comment:

raw-time

1340862883473187

ticket

423

time

2012-06-28 12:54:43

Change at time 2012-06-28 12:54:43

author

cowan

field

owner

newvalue

cowan

oldvalue

alexshinn

raw-time

1340862883473187

ticket

423

time

2012-06-28 12:54:43

Change at time 2012-06-28 12:54:43

author

cowan

field

status

newvalue

accepted

oldvalue

new

raw-time

1340862883473187

ticket

423

time

2012-06-28 12:54:43