app/exn.mlt

   1 <html><head>
   2 <title>Hcoop: Exception</title>
   3 </head><body>
   4
   5 <h1><b>Exception</b></h1>
   6
   7 <% switch Web.getExn () of
   8      Fail msg => %>
   9 <b>Fail</b>: <% Web.htmlNl msg %>
  10 <% | App.C.Sql msg => %>
  11 <b>SQL</b>: <% Web.htmlNl msg %>
  12 <% | Web.Format s => %>
  13 <b>Format</b>: <% Web.htmlNl s %>
  14 <% | IO.Io { name, function, cause } => %>
  15 <b>IO Exception:</b> <em>Name: </em> <% Web.html name %>
  16 <em>Function:</em> <% Web.html function %>
  17 <% | ex => %>
  18 <b>Unknown exception kind.</b> Backtrace:
  19 <% foreach s in SMLofNJ.exnHistory ex do %>
  20 <li> <% Web.html s %></li>
  21 <% end
  22 end %>
  23
  24 </body></html>