[r6rs-discuss] [Formal] Allow compilers to reject obvious
sperber at informatik.uni-tuebingen.de
Sun Feb 25 04:05:04 EST 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
More information about the r6rs-discuss