I agree.&nbsp; This situation is totally detectable.<br><br><div><span class="gmail_quote">On 9/23/07, <b class="gmail_sendername">Neil Mitchell</b> &lt;<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi<br><br>&gt; I&#39;m not sure, but since it would require the detection of an evaluation<br>
&gt; that does not terminate,&nbsp;&nbsp;it comes down to the halting problem, which is<br>&gt; not generally solvable. Maybe the experts can confirm my intuition?<br><br>I think your intuition is off. This isn&#39;t the problem of detecting
<br>that a computation might not halt, its a question of detecting after<br>the fact a very restricted case of non-termination has occurred. I<br>think it should be possible to assign threads etc to these things, but<br>may make the code run slower in the common case.
<br><br>Thanks<br><br>Neil<br>_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe">
http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br></blockquote></div><br>