[Haskell-cafe] Newbie: Is it possible to catch _|_ ?

Ketil Malde ketil+haskell at ii.uib.no
Tue Apr 6 17:32:33 EDT 2004

"Russ Lewis" <spamhole-2001-07-16 at 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 :-)

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list