changed SML/NJ v 45 to 44
authorpaulson
Thu Apr 22 12:31:33 2004 +0200 (2004-04-22)
changeset 14656765badface6a
parent 14655 8a95abf87dd3
child 14657 c7cc01735801
changed SML/NJ v 45 to 44
src/Pure/ML-Systems/smlnj-basis-compat.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/smlnj-basis-compat.ML	Thu Apr 22 12:19:40 2004 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj-basis-compat.ML	Thu Apr 22 12:31:33 2004 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Sebastian Skalberg (TU Muenchen)
     1.6  
     1.7 -Compatibility file for Standard ML of New Jersey 110.45 or later. Here
     1.8 +Compatibility file for Standard ML of New Jersey 110.44 or later. Here
     1.9  signatures that have changed to adhere to the SML Basis Library are
    1.10  changed back to their old values. So much for standards...
    1.11  *)
     2.1 --- a/src/Pure/ML-Systems/smlnj.ML	Thu Apr 22 12:19:40 2004 +0200
     2.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Thu Apr 22 12:31:33 2004 +0200
     2.3 @@ -43,7 +43,7 @@
     2.4  (* compiler-independent timing functions *)
     2.5  
     2.6  (case #version_id (Compiler.version) of
     2.7 -  [110, x] => if x >= 45
     2.8 +  [110, x] => if x >= 44
     2.9  	      then use "ML-Systems/cpu-timer-basis.ML"
    2.10  	      else use "ML-Systems/cpu-timer-gc.ML"
    2.11  | _ => use "ML-Systems/cpu-timer-gc.ML");
    2.12 @@ -56,7 +56,7 @@
    2.13  
    2.14  
    2.15  (case #version_id (Compiler.version) of
    2.16 -  [110, x] => if x >= 45
    2.17 +  [110, x] => if x >= 44
    2.18  	      then use "ML-Systems/smlnj-basis-compat.ML"
    2.19  	      else ()
    2.20  | _ => ());
    2.21 @@ -64,7 +64,7 @@
    2.22  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    2.23  
    2.24  (case #version_id (Compiler.version) of
    2.25 -  [110, x] => if x >= 45
    2.26 +  [110, x] => if x >= 44
    2.27  	      then use "ML-Systems/smlnj-pp-new.ML"
    2.28  	      else use "ML-Systems/smlnj-pp-old.ML"
    2.29  | _ => use "ML-Systems/smlnj-pp-old.ML");