From: Adam Chlipala <adamc@hcoop.net>
Date: Wed, 29 Sep 2004 00:05:51 +0000 (+0000)
Subject: Catch the right Io exception
X-Git-Url: http://git.hcoop.net/bpt/mlt.git/commitdiff_plain/e1968c00f76f1200aec08702810dcf13c85964b1

Catch the right Io exception
---

diff --git a/src/config.sml b/src/config.sml
index ad3946f..8c66fbc 100644
--- a/src/config.sml
+++ b/src/config.sml
@@ -131,7 +131,7 @@ struct
 	in
 	    read fields
 	    before TextIO.closeIn inf
-	end handle Io => config
+	end handle IO.Io _ => config
 
     fun default () =
 	let
diff --git a/src/main.sml b/src/main.sml
index d9950fa..0df1e44 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -34,6 +34,6 @@ struct
 			    print msg;
 			    print "\n";
 			    OS.Process.failure)
-	     | Io => (print "FATAL ERROR: Io\n";
+	     | IO.Io {name, function, ...} => (print ("FATAL ERROR: Io: " ^ name ^ ": " ^ function ^ "\n");
 			    OS.Process.failure)
 end
\ No newline at end of file