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 #345

cc


    
changetime

    
2012-10-09 13:44:43

    
component

    
WG1 - Core

    
description

    
Currently, the draft report implies that 0.0 and -0.0 must be the same in the sense of `eqv?`.  Options:  status quo, change to "must be different", change to "may be different".

    
id

    
345

    
keywords

    

    
milestone

    

    
owner

    
cowan

    
priority

    
major

    
reporter

    
cowan

    
resolution

    
fixed

    
severity

    

    
status

    
closed

    
summary

    
Should 0.0 and -0.0 be distinct in the sense of EQV?

    
time

    
2012-02-21 02:38:06

    
type

    
defect

    
Changes

    
Change at time 2012-10-09 13:44:43

    
author

    
cowan

    
field

    
comment

    
newvalue

    
This was overridden by later decisions: `0.0` and `-0.0` are now distinct in the sense of `eqv?` provided the implementation uses IEEE 754.

    
oldvalue

    
4

    
raw-time

    
1349765083638259

    
ticket

    
345

    
time

    
2012-10-09 13:44:43

    
Change at time 2012-10-09 13:44:43

    
author

    
cowan

    
field

    
resolution

    
newvalue

    
fixed

    
oldvalue

    

    
raw-time

    
1349765083638259

    
ticket

    
345

    
time

    
2012-10-09 13:44:43

    
Change at time 2012-10-09 13:44:43

    
author

    
cowan

    
field

    
status

    
newvalue

    
closed

    
oldvalue

    
writing

    
raw-time

    
1349765083638259

    
ticket

    
345

    
time

    
2012-10-09 13:44:43

    
Change at time 2012-04-09 22:27:17

    
author

    
cowan

    
field

    
comment

    
newvalue

    

    
oldvalue

    
3

    
raw-time

    
1333985237623818

    
ticket

    
345

    
time

    
2012-04-09 22:27:17

    
Change at time 2012-04-09 22:27:17

    
author

    
cowan

    
field

    
owner

    
newvalue

    
cowan

    
oldvalue

    
alexshinn

    
raw-time

    
1333985237623818

    
ticket

    
345

    
time

    
2012-04-09 22:27:17

    
Change at time 2012-04-09 22:27:17

    
author

    
cowan

    
field

    
status

    
newvalue

    
writing

    
oldvalue

    
decided

    
raw-time

    
1333985237623818

    
ticket

    
345

    
time

    
2012-04-09 22:27:17

    
Change at time 2012-04-09 22:17:22

    
author

    
cowan

    
field

    
comment

    
newvalue

    
The WG voted to make `(eqv? 0.0 -0.0) explicitly unspecified.

    
oldvalue

    
2

    
raw-time

    
1333984642211917

    
ticket

    
345

    
time

    
2012-04-09 22:17:22

    
Change at time 2012-04-09 22:17:22

    
author

    
cowan

    
field

    
status

    
newvalue

    
decided

    
oldvalue

    
new

    
raw-time

    
1333984642211917

    
ticket

    
345

    
time

    
2012-04-09 22:17:22

    
Change at time 2012-02-21 02:40:30

    
author

    
cowan

    
field

    
comment

    
newvalue

    
Of course, "must be different" would only apply when the implementation actually provides negative zero.

    
oldvalue

    
1

    
raw-time

    
1329763230154981

    
ticket

    
345

    
time

    
2012-02-21 02:40:30