src/Pure/ML-Systems/polyml_common.ML
changeset 35014 a725ff6ead26
parent 35010 d6e492cea6e4
child 36162 0bd034a80a9a
--- a/src/Pure/ML-Systems/polyml_common.ML	Sat Feb 06 20:57:07 2010 +0100
+++ b/src/Pure/ML-Systems/polyml_common.ML	Sat Feb 06 22:01:48 2010 +0100
@@ -6,6 +6,7 @@
 exception Interrupt = SML90.Interrupt;
 
 use "General/exn.ML";
+use "ML-Systems/single_assignment_polyml.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/timing.ML";
@@ -131,12 +132,3 @@
         val _ = RunCall.run_call1 RuntimeCalls.POLY_SYS_profiler 0;
       in Exn.release res end;
 
-
-(* magic immutability -- for internal use only! *)
-
-fun magic_immutability_mark (r: 'a Unsynchronized.ref) =
-  ignore (RunCall.run_call1 RuntimeCalls.POLY_SYS_lockseg r);
-
-fun magic_immutability_test (r: 'a Unsynchronized.ref) =
-  Word8.andb (0wx40, RunCall.run_call1 RuntimeCalls.POLY_SYS_get_flags r) = 0w0;
-