author | Manuel Eberl <eberlm@in.tum.de> |
Tue, 19 Jan 2016 11:19:25 +0100 | |
changeset 62201 | eca7b38c8ee5 |
parent 61925 | ab52f183f020 |
permissions | -rw-r--r-- |
(* Title: Pure/RAW/exn_trace_polyml-5.5.1.ML Author: Makarius Exception trace for Poly/ML 5.5.1 via ML output. *) fun print_exception_trace exn_message output e = PolyML.Exception.traceException (e, fn (trace, exn) => let val title = "Exception trace - " ^ exn_message exn; val _ = output (String.concatWith "\n" (title :: trace)); in reraise exn end); PolyML.Compiler.reportExhaustiveHandlers := true;