added ml_system_fix_ints;
authorwenzelm
Sun Sep 16 14:52:32 2007 +0200 (2007-09-16)
changeset 24597cbf2c5cf335e
parent 24596 f1333a841b26
child 24598 44a1c0c68e21
added ml_system_fix_ints;
src/Pure/ML-Systems/alice.ML
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/poplogml.ML
src/Pure/ML-Systems/proper_int.ML
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:31 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:32 2007 +0200
     1.3 @@ -13,6 +13,8 @@
     1.4  - Session.finish ();
     1.5  *)
     1.6  
     1.7 +val ml_system_fix_ints = false;
     1.8 +
     1.9  use "ML-Systems/exn.ML";
    1.10  use "ML-Systems/multithreading_dummy.ML";
    1.11  
     2.1 --- a/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:31 2007 +0200
     2.2 +++ b/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:32 2007 +0200
     2.3 @@ -19,6 +19,8 @@
     2.4  
     2.5  (** ML system related **)
     2.6  
     2.7 +val ml_system_fix_ints = false;
     2.8 +
     2.9  load "Obj";
    2.10  load "Bool";
    2.11  load "Int";
     3.1 --- a/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:31 2007 +0200
     3.2 +++ b/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:32 2007 +0200
     3.3 @@ -7,6 +7,8 @@
     3.4  
     3.5  (* Compiler and runtime options *)
     3.6  
     3.7 +val ml_system_fix_ints = false;
     3.8 +
     3.9  val _ = Compile.filetype := ".ML";
    3.10  val _ = Memory.hilim := let fun MB n = n div 4 * 1024 * 1024 in MB 120 end;
    3.11  val _ = Memory.stacklim := 10 * ! Memory.stacklim;
     4.1 --- a/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 14:52:31 2007 +0200
     4.2 +++ b/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 14:52:32 2007 +0200
     4.3 @@ -6,6 +6,8 @@
     4.4  words.
     4.5  *)
     4.6  
     4.7 +val ml_system_fix_ints = true;
     4.8 +
     4.9  val mk_int = IntInf.fromInt: Int.int -> IntInf.int;
    4.10  val dest_int = IntInf.toInt: IntInf.int -> Int.int;
    4.11