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

From: Michael Sperber <sperber>
Date: Tue Oct 31 10:41:45 2006

Robby Findler <robby_at_cs.uchicago.edu> writes:

> Does this mean that, in conforming implementations of r6, this
> expression:
>
> (with-exception-handler (lambda (x) 1) (lambda () (cons 1 2 3)))
>
> might produce 1 and might signal an error (at compile time)?

I don't know what "signal an error" means in the context of the
current draft. However, the wording you quote says that an exception
with condition type &warning may be raised. Now, the wording in the
14.1 suggests that a the default exception handler for script should
return when an exception with condition type &warning is raised. The
report, unfortunately, doesn't talk about what should happen when such
an exception is raised at compile, but I'm guessing the intent with
respect to compile time was the same as with run time.

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Tue Oct 31 2006 - 10:41:31 UTC

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