[r6rs-discuss] Compile-time detection of contract violations
sperber at informatik.uni-tuebingen.de
Tue Oct 31 12:26:40 EST 2006
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:
>> (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
More information about the r6rs-discuss