(* W.N.11.99

use"print_exn_G.sml";

*)

fun print_exn_unit e = 

    case e of

	PTREE str =>

	(writeln ("Exception PTREE raised:\n" ^ str))

(*      | SCRIPT str =>

	(writeln ("Exception SCRIPT raised:\n" ^ str))

      | TERM (msg,ts) =>

	(writeln ("Exception TERM raised:\n" ^ msg);

	 seq (writeln o Sign.string_of_term sign) ts)*)

      | e => raise e;

(*raises the exception in order to have a polymorphic type!*)

fun print_exn_G e = (print_exn_unit e;  raise e);