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

[Abdulaziz Ghuloum]

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,,,