[plt-scheme] about letrec and continuation : which behavior is correct ? and why ?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Aug 19 10:59:14 EDT 2008

At Tue, 19 Aug 2008 07:44:50 -0700, Abdulaziz Ghuloum wrote:
> 
> On Aug 19, 2008, at 7:10 AM, Matthew Flatt wrote:
> 
> > The R5RS/R6RS `letrec' is different, and the result with that other
> > `letrec' should be #f:
> 
> An R6RS implementation may (or may not) raise an &assertion when the
> <init> continuation is invoked the second time, right?  To me, that
> says that "it is an error" (in the R5RS sense) to evaluate an <init>
> continuation more that once, so, the program is incorrect.

Yes, good point.


Matthew



Posted on the users mailing list.