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

From: Abdulaziz Ghuloum <aghuloum>
Date: Tue Oct 31 23:06:00 2006

On Oct 31, 2006, at 11:49 AM, 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.

Are you sure this program should return 1? From what I understand from
this thread so far, the above is not a correct program and thus is
meaningless (it may be rejected by some implementations, may return 1
under others, and may return (1 . 2) under a third). If the above *is*
a correct program that returns 1, then I need further explanation of
its meaning when run under an "unsafe" declaration. I sure hope that
declarations do not change the semantics of correct Scheme programs.

Aziz,,,
Received on Tue Oct 31 2006 - 23:05:52 UTC