# HG changeset patch
# User wenzelm
# Date 1189947152 -7200
# Node ID cbf2c5cf335ef9ca09521f213808ce5c789eb3cb
# Parent  f1333a841b2651d330f9ab1a977014fb5dcfbadf
added ml_system_fix_ints;

diff -r f1333a841b26 -r cbf2c5cf335e src/Pure/ML-Systems/alice.ML
--- a/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -13,6 +13,8 @@
 - Session.finish ();
 *)
 
+val ml_system_fix_ints = false;
+
 use "ML-Systems/exn.ML";
 use "ML-Systems/multithreading_dummy.ML";
 
diff -r f1333a841b26 -r cbf2c5cf335e src/Pure/ML-Systems/mosml.ML
--- a/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -19,6 +19,8 @@
 
 (** ML system related **)
 
+val ml_system_fix_ints = false;
+
 load "Obj";
 load "Bool";
 load "Int";
diff -r f1333a841b26 -r cbf2c5cf335e src/Pure/ML-Systems/poplogml.ML
--- a/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -7,6 +7,8 @@
 
 (* Compiler and runtime options *)
 
+val ml_system_fix_ints = false;
+
 val _ = Compile.filetype := ".ML";
 val _ = Memory.hilim := let fun MB n = n div 4 * 1024 * 1024 in MB 120 end;
 val _ = Memory.stacklim := 10 * ! Memory.stacklim;
diff -r f1333a841b26 -r cbf2c5cf335e src/Pure/ML-Systems/proper_int.ML
--- a/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -6,6 +6,8 @@
 words.
 *)
 
+val ml_system_fix_ints = true;
+
 val mk_int = IntInf.fromInt: Int.int -> IntInf.int;
 val dest_int = IntInf.toInt: IntInf.int -> Int.int;