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

From: Abdulaziz Ghuloum <aghuloum>
Date: Wed Nov 1 03:35:49 2006

On Nov 1, 2006, at 3:23 AM, Michael Sperber wrote:

> Felix Klock <pfr6rs_at_pnkfx.org> writes:
>
>> Are we talking about:
>> 1.) The encouragement of implementations to raise &syntax exceptions
>> when encountering subexpressions with violations
>> 2.) The permission of implementations to raise &warning exceptions
>> when encountering subexpressions with "inevitable" violations
>
> 1., to my mind, is bogus: We should require an exception with
> condition type &syntax to be raised upon a syntax violation, and
> prohibit an exception with condition type &syntax to be raised in
> other circumstances.

Just to make sure we're on the same boat: a syntax violation is
something
like a malformed "if" expression or a lambda with duplicate bindings.
It
is not something like (cons 1 2 3), correct?

Aziz,,,
Received on Wed Nov 01 2006 - 03:35:59 UTC