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

From: Robby Findler <robby>
Date: Tue Oct 31 11:13:58 2006

At Tue, 31 Oct 2006 16:41:31 +0100, Michael Sperber wrote:
>
> 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.

Hm ... I think I wasn't clear. The question I'm asking: is it specified
that the above must produce a particular result, or are there two
possible outcomes for the program above? (I'm just trying to understand
what the spec says.)

Thanks,
Robby
Received on Tue Oct 31 2006 - 10:48:00 UTC