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