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