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