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

From: AndrevanTonder <andre>
Date: Tue Oct 31 14:03:21 2006

On Tue, 31 Oct 2006, Michael Sperber wrote:

> Yes, but the previous wording suggested that an exception with
> condition type &syntax might be raised for *any* violation, not just
> syntax violations.

But then the suggested modification:

   "implementations are encouraged to raise &syntax exceptions for syntax
    violations detected at those times"

would be wrong, since they are in fact /required/ to do so.

I might also point out that

> (call-with-current-continuation
> (lambda (exit)
> (with-exception-handler (lambda (x) (exit 1) (lambda () (cons 1 2 3))))))
>
> which returns 1.

seems to be in conflict with the interpretation of another editor in the
message

http://lists.r6rs.org/pipermail/r6rs-discuss/2006-October/000486.html

Andre
Received on Tue Oct 31 2006 - 13:59:49 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC