Hello WG1 members,
I found a mistake, the duplicate definition of the make-promise procedure.
In 4.2.5. Delayed evaluation, p.19, it's written
> (make-promise obj) lazy library procedure
but in 7.3. Derived _expression_ types, p.71,
> (make-promise #f (lambda () <_expression_>))
> (define make-promise
> (lambda (done? proc)
> (list (cons done? proc))))
Which definition is true?