Re: Possible bug in call-with-current-continuation

[Dirk Herrmann]

On Fri, 30 Mar 2001, Manuel Heras-Gilsanz wrote:

> Have a look at this session output:
> 
> ----------------------
> address@hidden manuel]$ guile
> guile> (define cont #f)
> guile> (+ 5 (call-with-current-continuation
>                 (lambda (k)
>                    (set! cont k)
>                    5)))
> 10
> guile> (cont 7)
> standard input:2:1: In procedure + in expression (+ 5 
> (call-with-current-continuation #)):
> standard input:2:1: Wrong type argument: (((proc) #<procedure (k)>))
> ABORT: (wrong-type-arg)
> 
> Type "(backtrace)" to get more information or "(debug)" to enter the debugger.
> guile>
> ----------------------
> 
> If I understand R5RS, (cont 7) should evaluate to 12, and this is confirmed 
> by several other implementations of Scheme.
> 
> Am I right?

You are right, and CVS guile actually gives the correct result.  Thus, I
assume the bug has been fixed in the meantime.

Best regards,
Dirk Herrmann