isabelle: src/Pure/RAW/exn_trace_raw.ML@4b2018eb92e8 (annotated)

62460 4b2018eb92e8 clarified; wenzelm parents: 62459 diff changeset	1	(* Title: Pure/RAW/exn_trace_raw.ML
62459 7a5d88dd8cc9 support only polyml-5.3.0 and polyml-5.6; wenzelm parents: diff changeset	2	Author: Makarius
7a5d88dd8cc9 support only polyml-5.3.0 and polyml-5.6; wenzelm parents: diff changeset	3
62460 4b2018eb92e8 clarified; wenzelm parents: 62459 diff changeset	4	Raw exception trace for Poly/ML 5.3.0.
62459 7a5d88dd8cc9 support only polyml-5.3.0 and polyml-5.6; wenzelm parents: diff changeset	5	*)
7a5d88dd8cc9 support only polyml-5.3.0 and polyml-5.6; wenzelm parents: diff changeset	6
62460 4b2018eb92e8 clarified; wenzelm parents: 62459 diff changeset	7	fun print_exception_trace (_: exn -> string) (_: string -> unit) =
4b2018eb92e8 clarified; wenzelm parents: 62459 diff changeset	8	PolyML.exception_trace;

author	wenzelm
	Sun, 28 Feb 2016 21:25:55 +0100
changeset 62460	4b2018eb92e8
parent 62459	src/Pure/RAW/exn_trace_dummy.ML@7a5d88dd8cc9
permissions	-rw-r--r--