[r6rs-discuss] letrec/letrec* violations
xacc.ide at gmail.com
Thu Nov 6 01:17:31 EST 2008
Under the documentation for letrec and letrec* the following is said :
"Another restriction is that the continuation of each <init> should not be
invoked more than once." ... "Implementations may or may not detect that the
continuation of each <init> is invoked more than once. However, if the
implementation detects this, it must raise an exception with condition type
1. What does 'should' imply here? (it is not required, but 'how much'
2. Is the following an example of a such a violation?
(letrec ((x (call/cc values))) (x list))
3. Are there any Scheme's that actually implement/detect this violation?
4. What are the reasoning behind this?
Thanks in advance
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the r6rs-discuss