--- a/src/Pure/ML-Systems/smlnj.ML Sat Jul 21 10:55:42 2012 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML Sat Jul 21 12:42:28 2012 +0200
@@ -29,8 +29,6 @@
CM.autoload "$smlnj/init/init.cmi";
val pointer_eq = InlineT.ptreql;
-fun share_common_data () = ();
-
(* restore old-style character / string functions *)
@@ -162,5 +160,19 @@
use "ML-Systems/unsynchronized.ML";
+
+(* ML system operations *)
+
use "ML-Systems/ml_system.ML";
+structure ML_System =
+struct
+
+open ML_System;
+
+fun save_state name =
+ if SMLofNJ.exportML name then ()
+ else OS.FileSys.rename {old = name ^ "." ^ platform, new = name};
+
+end;
+