--- a/src/Pure/ML-Systems/smlnj.ML Thu Oct 22 09:50:29 2009 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML Thu Oct 22 15:19:44 2009 +0200
@@ -66,6 +66,10 @@
(Control.primaryPrompt := p1; Control.secondaryPrompt := p2);
(*dummy implementation*)
+fun magic_immutability_test _ = false;
+fun magic_immutability_mark _ = ();
+
+(*dummy implementation*)
fun profile (n: int) f x = f x;
(*dummy implementation*)
@@ -177,8 +181,6 @@
val system_out = (fn (output, rc) => (output, mk_int rc)) o system_out;
-
-(*Convert a process ID to a decimal string (chiefly for tracing)*)
fun process_id pid =
Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord (Posix.ProcEnv.getpid ())));