Hi > I'm not sure, but since it would require the detection of an evaluation > that does not terminate, it comes down to the halting problem, which is > not generally solvable. Maybe the experts can confirm my intuition?
I think your intuition is off. This isn't the problem of detecting that a computation might not halt, its a question of detecting after the fact a very restricted case of non-termination has occurred. I think it should be possible to assign threads etc to these things, but may make the code run slower in the common case. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
