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

cc


    

changetime

2012-10-05 00:40:44

component

WG1 - Core

description

list?, length, equal? and other fundamental
primitives may diverge when given cyclic
data.  In the former two cases, avoiding this
is simple and not inefficient, and the equivalents
already provided in SRFI-1, in the latter case
a proposal was made and rejected on the R6RS list.

Do we want to specify the behavior when these
primitives encounter cyclic data?

id

51

keywords


    

milestone


    

owner

alexshinn

priority

major

reporter

alexshinn

resolution

fixed

severity


    

status

closed

summary

support for cyclic structures in primitives

time

2010-04-20 05:59:02

type

defect

Changes

Change at time 2012-10-05 00:40:44

author

cowan

field

comment

newvalue


    

oldvalue

9

raw-time

1349372444012626

ticket

51

time

2012-10-05 00:40:44

Change at time 2012-10-05 00:40:44

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1349372444012626

ticket

51

time

2012-10-05 00:40:44

Change at time 2012-10-05 00:40:44

author

cowan

field

status

newvalue

closed

oldvalue

writing

raw-time

1349372444012626

ticket

51

time

2012-10-05 00:40:44

Change at time 2011-03-07 22:26:37

author

alexshinn

field

comment

newvalue


    

oldvalue

8

raw-time

1299507997000000

ticket

51

time

2011-03-07 22:26:37

Change at time 2011-03-07 22:26:37

author

alexshinn

field

owner

newvalue

alexshinn

oldvalue


    

raw-time

1299507997000000

ticket

51

time

2011-03-07 22:26:37

Change at time 2011-03-07 22:26:37

author

alexshinn

field

status

newvalue

writing

oldvalue

decided

raw-time

1299507997000000

ticket

51

time

2011-03-07 22:26:37

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

author

alexshinn

field

comment

newvalue


    

oldvalue

7

raw-time

1296273159000000

ticket

51

time

2011-01-29 11:52:39

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

author

alexshinn

field

status

newvalue

decided

oldvalue

assigned

raw-time

1296273159000000

ticket

51

time

2011-01-29 11:52:39

Change at time 2011-01-29 11:52:22

author

alexshinn

field

comment

newvalue


    

oldvalue

6

raw-time

1296273142000000

ticket

51

time

2011-01-29 11:52:22

Change at time 2011-01-29 11:52:22

author

alexshinn

field

owner

newvalue


    

oldvalue

alexshinn

raw-time

1296273142000000

ticket

51

time

2011-01-29 11:52:22

Change at time 2011-01-29 11:52:22

author

alexshinn

field

status

newvalue

assigned

oldvalue

reopened

raw-time

1296273142000000

ticket

51

time

2011-01-29 11:52:22

Change at time 2011-01-29 11:52:09

author

alexshinn

field

comment

newvalue


    

oldvalue

5

raw-time

1296273129000000

ticket

51

time

2011-01-29 11:52:09

Change at time 2011-01-29 11:52:09

author

alexshinn

field

resolution

newvalue


    

oldvalue

fixed

raw-time

1296273129000000

ticket

51

time

2011-01-29 11:52:09

Change at time 2011-01-29 11:52:09

author

alexshinn

field

status

newvalue

reopened

oldvalue

closed

raw-time

1296273129000000

ticket

51

time

2011-01-29 11:52:09

Change at time 2011-01-24 08:28:45

author

cowan

field

comment

newvalue

WG1 voted:

equal? is required to do proper checks for cyclic structure to not diverge
list? should return #f and length raise an error for cyclic lists

oldvalue

4

raw-time

1295828925000000

ticket

51

time

2011-01-24 08:28:45

Change at time 2010-12-17 16:27:35

author

cowan

field

comment

newvalue

Correction: The WG voted to make no change to R5RS.

oldvalue

3

raw-time

1292574455000000

ticket

51

time

2010-12-17 16:27:35

Change at time 2010-10-18 02:49:55

author

cowan

field

comment

newvalue

The WG voted to accept the SRFI-1 rules, and to require that `equal?` MUST NOT terminate on a cyclic list.

oldvalue

2

raw-time

1287344995000000

ticket

51

time

2010-10-18 02:49:55

Change at time 2010-10-18 02:49:55

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1287344995000000

ticket

51

time

2010-10-18 02:49:55

Change at time 2010-10-18 02:49:55

author

cowan

field

status

newvalue

closed

oldvalue

new

raw-time

1287344995000000

ticket

51

time

2010-10-18 02:49:55

Change at time 2010-04-30 11:10:47

author

arcfide

field

comment

newvalue

What a reason given for the rejection? Was there any rationale given for this behavior? I'd like to see what the previous editor's thought about this, and why it was chosen to be this way.

oldvalue

1

raw-time

1272600647000000

ticket

51

time

2010-04-30 11:10:47