| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 23 Sep 2010 12:56:51 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38013 | e4f42a63d665 |
| parent 37906 | e2b23ba9df13 |
| child 38015 | 67ba02dffacc |
| permissions | -rw-r--r-- |
1 (* W.N.11.99
3 use"print_exn_G.sml";
4 *)
7 fun print_exn_unit e =
8 case e of
9 PTREE str =>
10 (writeln ("Exception PTREE raised:\n" ^ str))
11 (* | SCRIPT str =>
12 (writeln ("Exception SCRIPT raised:\n" ^ str))
13 | TERM (msg,ts) =>
14 (writeln ("Exception TERM raised:\n" ^ msg);
15 seq (writeln o Sign.string_of_term sign) ts)*)
16 | e => raise e;
18 (*raises the exception in order to have a polymorphic type!*)
19 fun print_exn_G e = (print_exn_unit e; raise e);