
9 Dec
2002
9 Dec
'02
2:40 p.m.
On Sun, 8 Dec 2002, John Meacham wrote: (snip)
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' (snip)
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