join: intelligent error printing for IO exceptions

diff --git a/app/exn.mlt b/app/exn.mlt
index 43fd157..487427f 100644 (file)
--- a/app/exn.mlt
+++ b/app/exn.mlt
@@ -11,6 +11,9 @@
 <b>SQL</b>: <% Web.htmlNl msg %>
 <% | Web.Format s => %>
 <b>Format</b>: <% Web.htmlNl s %>
+<% | IO.Io { name, function, cause } => %>
+<b>IO Exception:</b> <em>Name: </em> <% Web.html name %>
+<em>Function:</em> <% Web.html function %>
 <% | ex => %>
 <b>Unknown exception kind.</b> Backtrace:
 <% foreach s in SMLofNJ.exnHistory ex do %>