--- a/src/Pure/IsaMakefile Sat Mar 21 13:11:12 2009 +0100
+++ b/src/Pure/IsaMakefile Sat Mar 21 15:08:00 2009 +0100
@@ -20,13 +20,13 @@
## Pure
BOOTSTRAP_FILES = ML-Systems/exn.ML ML-Systems/ml_name_space.ML \
- ML-Systems/mosml.ML ML-Systems/multithreading.ML \
- ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML \
- ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML \
- ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML \
- ML-Systems/polyml-5.1.ML ML-Systems/polyml-experimental.ML \
- ML-Systems/polyml.ML ML-Systems/polyml_common.ML \
- ML-Systems/polyml_old_compiler4.ML \
+ ML-Systems/ml_pretty.ML ML-Systems/mosml.ML \
+ ML-Systems/multithreading.ML ML-Systems/multithreading_polyml.ML \
+ ML-Systems/overloading_smlnj.ML ML-Systems/polyml-4.1.3.ML \
+ ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-4.2.0.ML \
+ ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML \
+ ML-Systems/polyml-experimental.ML ML-Systems/polyml.ML \
+ ML-Systems/polyml_common.ML ML-Systems/polyml_old_compiler4.ML \
ML-Systems/polyml_old_compiler5.ML ML-Systems/proper_int.ML \
ML-Systems/smlnj.ML ML-Systems/system_shell.ML \
ML-Systems/thread_dummy.ML ML-Systems/time_limit.ML \
--- a/src/Pure/ML-Systems/mosml.ML Sat Mar 21 13:11:12 2009 +0100
+++ b/src/Pure/ML-Systems/mosml.ML Sat Mar 21 15:08:00 2009 +0100
@@ -45,6 +45,7 @@
use "ML-Systems/multithreading.ML";
use "ML-Systems/time_limit.ML";
use "ML-Systems/ml_name_space.ML";
+use "ML-Systems/ml_pretty.ML";
(*low-level pointer equality*)
--- a/src/Pure/ML-Systems/polyml-experimental.ML Sat Mar 21 13:11:12 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-experimental.ML Sat Mar 21 15:08:00 2009 +0100
@@ -14,6 +14,12 @@
(* toplevel pretty printers *)
+structure ML_Pretty =
+struct
+ datatype context = datatype PolyML.context;
+ datatype pretty = datatype PolyML.pretty;
+end;
+
(*dummy version*)
fun make_pp path pprint = ();
fun install_pp _ = ();
--- a/src/Pure/ML-Systems/polyml_common.ML Sat Mar 21 13:11:12 2009 +0100
+++ b/src/Pure/ML-Systems/polyml_common.ML Sat Mar 21 15:08:00 2009 +0100
@@ -10,6 +10,7 @@
use "ML-Systems/time_limit.ML";
use "ML-Systems/system_shell.ML";
use "ML-Systems/ml_name_space.ML";
+use "ML-Systems/ml_pretty.ML";
(** ML system and platform related **)
--- a/src/Pure/ML-Systems/smlnj.ML Sat Mar 21 13:11:12 2009 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML Sat Mar 21 15:08:00 2009 +0100
@@ -13,6 +13,7 @@
use "ML-Systems/multithreading.ML";
use "ML-Systems/system_shell.ML";
use "ML-Systems/ml_name_space.ML";
+use "ML-Systems/ml_pretty.ML";
(*low-level pointer equality*)