[r6rs-discuss] [Formal] Allow compilers to reject obvious violations

[Michael Sperber]

William D Clinger <will at ccs.neu.edu> writes:

> Several extant Scheme compilers already perform static
> analyses that can occasionally establish that some
> expression would inevitably raise a &violation exception
> were the expression ever to be executed.  The R6RS
> library system will make it much easier for compilers
> to detect such violations at compile time.

Could you provide some examples where you consider this useful?  I
know they exist, but it would help me understand your position if I
knew some examples for problems you're trying to solve.

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