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

cc

changetime

2012-10-11 14:59:22

component

WG1 - Core

description

Earlier we voted on #125, #229 and #345 separately
without regard to the formal semantics of `eqv?`
from a top level.  We need to first decide what the
definition of `eqv?` is, and consider if there should
be any exception cases as a secondary effect.

Note the result of this ticket will also answer formal
comment #423.

id

keywords

milestone

owner

cowan

priority

major

reporter

alexshinn

resolution

fixed

severity

status

closed

summary

semantics of eqv?

time

2012-07-08 16:14:21

type

defect

Changes

Change at time 2012-10-11 14:59:22

author

cowan

field

comment

newvalue

oldvalue

raw-time

1349942362657159

ticket

time

2012-10-11 14:59:22

Change at time 2012-10-11 14:59:22

author

cowan

field

resolution

newvalue

fixed

oldvalue

raw-time

1349942362657159

ticket

time

2012-10-11 14:59:22

Change at time 2012-10-11 14:59:22

author

cowan

field

status

newvalue

closed

oldvalue

writing

raw-time

1349942362657159

ticket

time

2012-10-11 14:59:22

Change at time 2012-08-27 06:39:44

author

cowan

field

comment

newvalue

oldvalue

raw-time

1346024384927882

ticket

time

2012-08-27 06:39:44

Change at time 2012-08-27 06:39:44

author

cowan

field

owner

newvalue

cowan

oldvalue

alexshinn

raw-time

1346024384927882

ticket

time

2012-08-27 06:39:44

Change at time 2012-08-27 06:39:44

author

cowan

field

status

newvalue

writing

oldvalue

decided

raw-time

1346024384927882

ticket

time

2012-08-27 06:39:44

Change at time 2012-08-27 06:39:25

author

cowan

field

comment

newvalue

WG1 voted to adopt the `same-bits` equivalence:


{{{
  (3.1) obj1 and obj2 are both exact numbers and are numerically
  equal (see `=`)

  (3.2) obj1 and obj2 are both inexact real numbers conforming to the
  IEEE 754-2008 standard, and they have the same radix,
  precision, maximum exponent, sign, exponent, and significand as
  described in IEEE 754-2008

  (3.3) obj1 and obj2 are both inexact real numbers, are not implemented using
  IEEE 754-2008, and are numerically equal (see `=`)

  (3.4) obj1 and obj2 are both complex numbers whose real and imaginary
  parts are `eqv?`
}}}

oldvalue

raw-time

1346024365344615

ticket

time

2012-08-27 06:39:25

Change at time 2012-08-27 06:39:25

author

cowan

field

status

newvalue

decided

oldvalue

new

raw-time

1346024365344615

ticket

time

2012-08-27 06:39:25