[project @ 2002-09-24 19:01:55 by sof]

userErrors: don't barf on non-IOExceptions.

Merge to STABLE.

diff --git a/Control/Exception.hs b/Control/Exception.hs
index 85163b3..f23ab9f 100644 (file)
--- a/Control/Exception.hs
+++ b/Control/Exception.hs
@@ -326,7 +326,7 @@ dynExceptions _ = Nothing
 asyncExceptions (AsyncException e) = Just e
 asyncExceptions _ = Nothing
 
-userErrors e | isUserError e = Just (ioeGetErrorString e)
+userErrors e@IOException{} | isUserError e = Just (ioeGetErrorString e)
 userErrors _ = Nothing
 
 -----------------------------------------------------------------------------