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

From: Michael Sperber <sperber>
Date: Sun Feb 25 04:05:07 2007

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
Received on Sun Feb 25 2007 - 04:05:04 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC