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

[Michael Sperber]

Abdulaziz Ghuloum <aghuloum at cs.indiana.edu> writes:

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

Yes.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla