
6 Apr
2004
6 Apr
'04
10:32 a.m.
"Russ Lewis"
Another newbie question: Is it possible to catch _|_ - that is, to encounter it, handle it and continue?
Since _|_ is the value of a non-terminating computation, this requires you to solve the halting problem. GHC does occasionally detect loops, but for the general case, don't hold your breath :-) -kzm -- If I haven't seen further, it is by standing in the footprints of giants