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

From: Robby Findler <robby>
Date: Thu Nov 2 09:50:38 2006

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!

Robby
Received on Tue Oct 31 2006 - 12:23:43 UTC