--- a/src/Pure/ML-Systems/polyml.ML Wed Jul 15 11:25:51 2015 +0200
+++ b/src/Pure/ML-Systems/polyml.ML Thu Jul 16 11:10:57 2015 +0200
@@ -133,6 +133,12 @@
fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);
+(* ML debugger *)
+
+use "ML-Systems/ml_debugger_dummy.ML";
+if ML_System.name = "polyml-5.5.3" then use "ML-Systems/ml_debugger_polyml-5.5.3.ML" else ();
+
+
(* ML toplevel pretty printing *)
use "ML-Systems/ml_pretty.ML";
@@ -188,4 +194,3 @@
fun ml_make_string struct_name =
"(fn x => Pretty.string_of (Pretty.from_ML (pretty_ml (PolyML.prettyRepresentation (x, " ^
struct_name ^ ".ML_print_depth ())))))";
-