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