I agree. This situation is totally detectable.<br><br><div><span class="gmail_quote">On 9/23/07, <b class="gmail_sendername">Neil Mitchell</b> <<a href="mailto:firstname.lastname@example.org">email@example.com</a>> 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>> I'm not sure, but since it would require the detection of an evaluation<br>
> that does not terminate, it comes down to the halting problem, which is<br>> not generally solvable. Maybe the experts can confirm my intuition?<br><br>I think your intuition is off. This isn'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">