Catch the right Io exception
authorAdam Chlipala <adamc@hcoop.net>
Wed, 29 Sep 2004 00:05:51 +0000 (00:05 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 29 Sep 2004 00:05:51 +0000 (00:05 +0000)
src/config.sml
src/main.sml

index ad3946f..8c66fbc 100644 (file)
@@ -131,7 +131,7 @@ struct
        in
            read fields
            before TextIO.closeIn inf
-       end handle Io => config
+       end handle IO.Io _ => config
 
     fun default () =
        let
index d9950fa..0df1e44 100644 (file)
@@ -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