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

[Joe Marshall]

On 2/24/07, Thomas Lord <lord at emf.net> wrote:
> Joe Marshall wrote:
> > Obviously Will was not suggesting that compilers reject
> > programs that cannot be proven to terminate.
> Your statement seems to miss my point but, as I said in another
> thread, I've given up on R6RS and only mean to kibbitz a little...
> sorry if I went too far.

I don't think I missed your point, but I think you didn't say what
you wanted.  I happen to think it would be fine for a compiler to
ignore non-termination when compiling.

-- 
~jrm