[Haskell-cafe] Newbie: Is it possible to catch _|_ ?
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