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

From: AndrevanTonder <andre>
Date: Tue Oct 31 12:47:51 2006

On Tue, 31 Oct 2006, Michael Sperber wrote:

>> "Most implementations are able to recognize some violations
>> when parsing, expanding macros, or compiling a definition
>> or expression whose evaluation has not yet commenced
>> in the usual sense. Implementations are allowed
>> to use nonstandard exception handlers at those times, and
>> are encouraged to raise &syntax exceptions for violations
>> detected at those times, even if the definition or expression
>> that contains the violation will never be executed."
>
> If it said:
>
> "&syntax exceptions for syntax violations"
> ^^^^^^
>
> would that help?

I don't think so. I think it would be redundant (because implementations
are already required to raise syntax exceptions for syntax violations) and would
defeat the purpose of the paragraph as interpreted by at least one other r6rs
editor earlier in this thread.

Cheers
Andre
Received on Tue Oct 31 2006 - 12:44:18 UTC