(* use"print_exn_G.sml";

   W.N.11.99

*)

fun print_exn_unit e = 

  case e of

     PTREE str =>

	 (writeln ("Exception PTREE " ^ str))

   | PROOFS str =>

	 (writeln ("Exception PROOFS " ^ str))

   | DIALS str =>

	 (writeln ("Exception DIALS " ^ 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);