Prelude.catch vs. Exception.catch
Ashley Yakeley
ashley@semantic.org
Tue, 14 May 2002 02:36:07 -0700
At 2002-05-14 02:24, Simon Marlow wrote:
>This is bizarre: the definition of evaluate in Exception is exactly the
>one you gave above, yet they behave differently. You may have uncovered
>a compiler bug, I'll look into it.
I might ask which is correct: according to the rules for seq, "evaluate'
undefined" should be bottom, but we want "Expression.evaluate undefined"
to be a failing IO action.
I think the compiler is correct but the definition given in the
documentation is wrong.
--
Ashley Yakeley, Seattle WA