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

cc


    

changetime

2012-10-05 00:05:34

component

WG1 - Numerics

description

R6RS provides support for inexact infinities
and NaN objects.  Do we keep these, and if so
do we use the same literal syntax and arithmetic
as in R6RS?

id

20

keywords


    

milestone


    

owner

alexshinn

priority

major

reporter

alexshinn

resolution

fixed

severity


    

status

closed

summary

inexact infinities

time

2010-02-23 16:45:06

type

defect

Changes

Change at time 2012-10-05 00:05:34

author

cowan

field

comment

newvalue


    

oldvalue

8

raw-time

1349370334625312

ticket

20

time

2012-10-05 00:05:34

Change at time 2012-10-05 00:05:34

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1349370334625312

ticket

20

time

2012-10-05 00:05:34

Change at time 2012-10-05 00:05:34

author

cowan

field

status

newvalue

closed

oldvalue

writing

raw-time

1349370334625312

ticket

20

time

2012-10-05 00:05:34

Change at time 2011-03-03 22:58:16

author

alexshinn

field

comment

newvalue


    

oldvalue

7

raw-time

1299164296000000

ticket

20

time

2011-03-03 22:58:16

Change at time 2011-03-03 22:58:16

author

alexshinn

field

owner

newvalue

alexshinn

oldvalue


    

raw-time

1299164296000000

ticket

20

time

2011-03-03 22:58:16

Change at time 2011-03-03 22:58:16

author

alexshinn

field

status

newvalue

writing

oldvalue

decided

raw-time

1299164296000000

ticket

20

time

2011-03-03 22:58:16

Change at time 2011-01-29 11:39:12

author

alexshinn

field

comment

newvalue


    

oldvalue

6

raw-time

1296272352000000

ticket

20

time

2011-01-29 11:39:12

Change at time 2011-01-29 11:39:12

author

alexshinn

field

status

newvalue

decided

oldvalue

assigned

raw-time

1296272352000000

ticket

20

time

2011-01-29 11:39:12

Change at time 2011-01-29 11:39:01

author

alexshinn

field

comment

newvalue


    

oldvalue

5

raw-time

1296272341000000

ticket

20

time

2011-01-29 11:39:01

Change at time 2011-01-29 11:39:01

author

alexshinn

field

owner

newvalue


    

oldvalue

alexshinn

raw-time

1296272341000000

ticket

20

time

2011-01-29 11:39:01

Change at time 2011-01-29 11:39:01

author

alexshinn

field

status

newvalue

assigned

oldvalue

reopened

raw-time

1296272341000000

ticket

20

time

2011-01-29 11:39:01

Change at time 2011-01-29 11:38:47

author

alexshinn

field

comment

newvalue


    

oldvalue

4

raw-time

1296272327000000

ticket

20

time

2011-01-29 11:38:47

Change at time 2011-01-29 11:38:47

author

alexshinn

field

resolution

newvalue


    

oldvalue

fixed

raw-time

1296272327000000

ticket

20

time

2011-01-29 11:38:47

Change at time 2011-01-29 11:38:47

author

alexshinn

field

status

newvalue

reopened

oldvalue

closed

raw-time

1296272327000000

ticket

20

time

2011-01-29 11:38:47

Change at time 2010-10-18 03:00:42

author

cowan

field

comment

newvalue

The WG voted to accept this feature just as in R6RS.

oldvalue

3

raw-time

1287345642000000

ticket

20

time

2010-10-18 03:00:42

Change at time 2010-10-18 03:00:42

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1287345642000000

ticket

20

time

2010-10-18 03:00:42

Change at time 2010-10-18 03:00:42

author

cowan

field

status

newvalue

closed

oldvalue

new

raw-time

1287345642000000

ticket

20

time

2010-10-18 03:00:42

Change at time 2010-03-16 06:12:32

author

kumoyuki

field

comment

newvalue

Larceny certainly handles the +info.0 syntax. I am in favor of having explicit representations for infinities and NaN in any case...

oldvalue

2

raw-time

1268694752000000

ticket

20

time

2010-03-16 06:12:32

Change at time 2010-03-16 06:12:32

author

kumoyuki

field

milestone

newvalue


    

oldvalue


    

raw-time

1268694752000000

ticket

20

time

2010-03-16 06:12:32

Change at time 2010-03-01 08:50:24

author

cowan

field

comment

newvalue

Testing Schemes with +inf.0 -inf.0 +nan.0, and if required (/ 1.0, 0.0) (/ 0.0 0.0):

PLT, Gauche, Gambit, Chicken[1], Bigloo, Guile, Chez, Chibi understand the syntaxes.

MIT, Scheme48/scsh, Kawa[2], SISC[3], SCM[4], Scheme 9, Scheme 7, VSCM do not.

SSCM doesn't seem to support anything but small exact integers.

[1] Chicken accepts the standard syntax, but outputs +inf, -inf, +nan without the .0
[2] Kawa uses the syntax #i1/0, #i-1/0, #i0/0
[3] SISC outputs infinity.0, -infinity.0, nan.0 but does not accept them on input
[4] SCM accepts and outputs +inf.0 and -inf.0, but uses 0/0 for NaNs.


I recommend that we accept the R6RS syntax.

oldvalue

1

raw-time

1267404624000000

ticket

20

time

2010-03-01 08:50:24