explicit use of universal.ML and dummy_thread.ML;
authorwenzelm
Sun Sep 07 17:46:43 2008 +0200 (2008-09-07)
changeset 2815161f9c918b410
parent 28150 cbc2cbfc840c
child 28152 c1277547d59f
explicit use of universal.ML and dummy_thread.ML;
src/Pure/ML-Systems/polyml-4.1.3.ML
src/Pure/ML-Systems/polyml-4.1.4.ML
src/Pure/ML-Systems/polyml-4.2.0.ML
src/Pure/ML-Systems/polyml-5.0.ML
src/Pure/ML-Systems/polyml_common.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/polyml-4.1.3.ML	Sun Sep 07 17:46:41 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-4.1.3.ML	Sun Sep 07 17:46:43 2008 +0200
     1.3 @@ -5,6 +5,8 @@
     1.4  *)
     1.5  
     1.6  use "ML-Systems/polyml_old_basis.ML";
     1.7 +use "ML-Systems/universal.ML";
     1.8 +use "ML-Systems/thread_dummy.ML";
     1.9  use "ML-Systems/polyml_common.ML";
    1.10  use "ML-Systems/polyml_old_compiler4.ML";
    1.11  
     2.1 --- a/src/Pure/ML-Systems/polyml-4.1.4.ML	Sun Sep 07 17:46:41 2008 +0200
     2.2 +++ b/src/Pure/ML-Systems/polyml-4.1.4.ML	Sun Sep 07 17:46:43 2008 +0200
     2.3 @@ -5,6 +5,8 @@
     2.4  *)
     2.5  
     2.6  use "ML-Systems/polyml_old_basis.ML";
     2.7 +use "ML-Systems/universal.ML";
     2.8 +use "ML-Systems/thread_dummy.ML";
     2.9  use "ML-Systems/polyml_common.ML";
    2.10  use "ML-Systems/polyml_old_compiler4.ML";
    2.11  
     3.1 --- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Sun Sep 07 17:46:41 2008 +0200
     3.2 +++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Sun Sep 07 17:46:43 2008 +0200
     3.3 @@ -4,6 +4,8 @@
     3.4  Compatibility wrapper for Poly/ML 4.2.0.
     3.5  *)
     3.6  
     3.7 +use "ML-Systems/universal.ML";
     3.8 +use "ML-Systems/thread_dummy.ML";
     3.9  use "ML-Systems/polyml_common.ML";
    3.10  use "ML-Systems/polyml_old_compiler4.ML";
    3.11  
     4.1 --- a/src/Pure/ML-Systems/polyml-5.0.ML	Sun Sep 07 17:46:41 2008 +0200
     4.2 +++ b/src/Pure/ML-Systems/polyml-5.0.ML	Sun Sep 07 17:46:43 2008 +0200
     4.3 @@ -4,6 +4,8 @@
     4.4  Compatibility wrapper for Poly/ML 5.0.
     4.5  *)
     4.6  
     4.7 +use "ML-Systems/universal.ML";
     4.8 +use "ML-Systems/thread_dummy.ML";
     4.9  use "ML-Systems/polyml_common.ML";
    4.10  use "ML-Systems/polyml_old_compiler5.ML";
    4.11  
     5.1 --- a/src/Pure/ML-Systems/polyml_common.ML	Sun Sep 07 17:46:41 2008 +0200
     5.2 +++ b/src/Pure/ML-Systems/polyml_common.ML	Sun Sep 07 17:46:43 2008 +0200
     5.3 @@ -5,8 +5,6 @@
     5.4  *)
     5.5  
     5.6  use "ML-Systems/exn.ML";
     5.7 -if List.exists (fn s => s = "Universal") (PolyML.Compiler.structureNames ()) then ()
     5.8 -else use "ML-Systems/universal.ML";
     5.9  use "ML-Systems/multithreading.ML";
    5.10  use "ML-Systems/time_limit.ML";
    5.11  use "ML-Systems/system_shell.ML";
     6.1 --- a/src/Pure/ML-Systems/smlnj.ML	Sun Sep 07 17:46:41 2008 +0200
     6.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Sun Sep 07 17:46:43 2008 +0200
     6.3 @@ -8,6 +8,7 @@
     6.4  use "ML-Systems/overloading_smlnj.ML";
     6.5  use "ML-Systems/exn.ML";
     6.6  use "ML-Systems/universal.ML";
     6.7 +use "ML-Systems/thread_dummy.ML";
     6.8  use "ML-Systems/multithreading.ML";
     6.9  use "ML-Systems/system_shell.ML";
    6.10