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
Received on Sun Feb 25 2007 - 00:19:18 UTC