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

[Michael Sperber]

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

> Michael Sperber wrote:
>>  Why would it not enough for the compiler to just issue a warning,
>>  and to then abort at run time?
>
> I have already answered that question.  You are free
> to ignore my answer.

I just re-read your response, and, while it seems the answer is
perfectly clear to you, it isn't to me.  The discussion isn't very
specific on the kind of problem you're interested in solving---one or
two examples (besides the contrived call/cc example, which I take to
be not your focus anyway) would be greatly appreciated.

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