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

From: Thomas Lord <lord>
Date: Sun Feb 25 00:25:25 2007

Joe Marshall wrote:
>
> I don't think I missed your point, but I think you didn't say what
> you wanted.

That's my stronger intuition, too. It's freakin' hard to say exactly
what I mean especially since, in some important areas, I haven't
had time to personally do or check certain math.



> I happen to think it would be fine for a compiler to
> ignore non-termination when compiling.
>

Which, while trivially true, if you get me, is roughly
a non-sequitor.

-t
Received on Sun Feb 25 2007 - 00:33:53 UTC