From f19ba3232998ecde9c4fb818278444474f4fce66 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 10 Nov 2007 19:16:27 +0000
Subject: [PATCH] Stop ignoring Io exceptions

---
 src/main.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 ();
-- 
2.20.1