[r6rs-discuss] Compile-time detection of contract violations

[Michael Sperber]

Robby Findler <robby at cs.uchicago.edu> writes:

> At Tue, 31 Oct 2006 17:49:57 +0100, Michael Sperber wrote:
>> It almost says that it produces a particular result at run time.  I
>> suspect whoever wrote this originally wanted to write:
>> 
>> (call-with-current-continuation
>>   (lambda (exit)
>>     (with-exception-handler (lambda (x) (exit 1) (lambda () (cons 1 2 3))))))
>> 
>> which returns 1.
>
> (I wrote that one. Thanks for the fix.)
>
> It can only produce 1 and never be somehow an error (at compile time or
> any other time)? Excellent. Thanks!

While I can't speak for the editors and will take up the issue with
them, I believe this was the intent.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla