author | Walther Neuper <neuper@ist.tugraz.at> |
Sat, 25 Sep 2010 16:49:33 +0200 | |
branch | isac-update-Isa09-2 |
changeset 38022 | e6d356fc4d38 |
parent 38015 | 67ba02dffacc |
child 59276 | 56dc790071cb |
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 (tracing ("Exception PTREE raised:\n" ^ str))
11 (* | SCRIPT str =>
12 (tracing ("Exception SCRIPT raised:\n" ^ str))
13 | TERM (msg,ts) =>
14 (tracing ("Exception TERM raised:\n" ^ msg);
15 seq (tracing 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);