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

From: Abdulaziz Ghuloum (aghuloum at cs.indiana.edu)
Date: Tue Aug 19 10:44:50 EDT 2008

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.


Posted on the users mailing list.