6 Apr
2004
6 Apr
'04
2:32 p.m.
"Russ Lewis" <spamhole-2001-07-16@deming-os.org> writes:
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