From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 10 Nov 2007 19:16:27 +0000 (+0000)
Subject: Stop ignoring Io exceptions
X-Git-Tag: release_2010-11-19~165
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/f19ba3232998ecde9c4fb818278444474f4fce66

Stop ignoring Io exceptions
---

diff --git a/src/main.sml b/src/main.sml
index 52dc753..4539b65 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -939,7 +939,9 @@ fun regenerate context =
 		else
 		    ()
 	    end
-	    handle IO.Io _ => ()
+	    handle IO.Io {name, function, ...} =>
+		   (print ("IO error processing user " ^ user ^ ": " ^ function ^ ": " ^ name ^ "\n");
+		    ok := false)
 		 | OS.SysErr (s, _) => (print ("System error processing user " ^ user ^ ": " ^ s ^ "\n");
 					ok := false)
 		 | ErrorMsg.Error => (ErrorMsg.reset ();