Error Handling

Mark Carroll
Mon, 9 Dec 2002 09:40:35 -0500 (EST)

On Sun, 8 Dec 2002, John Meacham wrote:
> throw (userException "foo") + throw (userException "bar")
> without defining an evaluation order you cannot know which exepction is
> to be thrown. catching the exception in the IO monad makes this 'okay'

Would it help if you defined an order over the possible exceptions, then
if one is thrown you evaluate other parts of the expression to see if they
also threw one, and return the "first" according to the ordering? I still
haven't given up my hope for simple exceptions without monads. (-:

-- Mark