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

cc


    

changetime

2012-06-28 11:07:45

component

WG1 - Core

description

Submitter's name: Richard Kelsey

Submitter's email: kelsey at s48.org

Relevant draft: r7rs draft 6

Type: clarification

Priority: minor

Relevant section of draft: Derived expression types

Summary: 'lazy' is underspecified

The description of `(lazy <expression>)` says:

The returned promise, when forced, will evaluate to whatever the original promise would have evaluated to if it had been forced.

This describes what `(delay (force <expression>))` does.  On the other hand, the description of the stream-filter example says that `(lazy <x>)` is not the same as `(delay (force <x>))`.  If this is true, the description of `lazy` needs to say what the difference is.

id

416

keywords


    

milestone


    

owner

alexshinn

priority

major

reporter

cowan

resolution

fixed

severity


    

status

closed

summary

Formal Comment: 'lazy' is underspecified

time

2012-06-28 11:06:41

type

defect

Changes

Change at time 2012-06-28 11:07:45

author

cowan

field

comment

newvalue

Editorial change made and formal response sent.

oldvalue

1

raw-time

1340856465379372

ticket

416

time

2012-06-28 11:07:45

Change at time 2012-06-28 11:07:45

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1340856465379372

ticket

416

time

2012-06-28 11:07:45

Change at time 2012-06-28 11:07:45

author

cowan

field

status

newvalue

closed

oldvalue

new

raw-time

1340856465379372

ticket

416

time

2012-06-28 11:07:45