added dummy 'print' to non-polyml systems
authorhaftmann
Mon Dec 12 15:36:46 2005 +0100 (2005-12-12)
changeset 18384fa38cca42913
parent 18383 5f40a59a798b
child 18385 d0071d93978e
added dummy 'print' to non-polyml systems
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/poplogml.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/mosml.ML	Sun Dec 11 11:57:01 2005 +0100
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Mon Dec 12 15:36:46 2005 +0100
     1.3 @@ -82,9 +82,12 @@
     1.4  (*dummy implementation*)
     1.5  fun profile (n: int) f x = f x;
     1.6  
     1.7 -(*dummy impelemtation*)
     1.8 +(*dummy implementation*)
     1.9  fun exception_trace f = f ();
    1.10  
    1.11 +(*dummy implementation*)
    1.12 +fun print x = x;
    1.13 +
    1.14  
    1.15  (** Compiler-independent timing functions **)
    1.16  
     2.1 --- a/src/Pure/ML-Systems/poplogml.ML	Sun Dec 11 11:57:01 2005 +0100
     2.2 +++ b/src/Pure/ML-Systems/poplogml.ML	Mon Dec 12 15:36:46 2005 +0100
     2.3 @@ -24,6 +24,7 @@
     2.4  fun print_depth _ = ();
     2.5  
     2.6  fun exception_trace f = f ();
     2.7 +fun print x = x;
     2.8  fun profile (n: int) f x = f x;
     2.9  
    2.10  
     3.1 --- a/src/Pure/ML-Systems/smlnj.ML	Sun Dec 11 11:57:01 2005 +0100
     3.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Mon Dec 12 15:36:46 2005 +0100
     3.3 @@ -69,6 +69,8 @@
     3.4  (*dummy implementation*)
     3.5  fun exception_trace f = f ();
     3.6  
     3.7 +(*dummy implementation*)
     3.8 +fun print x = x;
     3.9  
    3.10  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    3.11