# HG changeset patch
# User haftmann
# Date 1134398206 -3600
# Node ID fa38cca429136924f3c5dcd2919cc1eabdfad529
# Parent  5f40a59a798b76db99c0c2a7e1dc1e47b258645b
added dummy 'print' to non-polyml systems

diff -r 5f40a59a798b -r fa38cca42913 src/Pure/ML-Systems/mosml.ML
--- a/src/Pure/ML-Systems/mosml.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/mosml.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -82,9 +82,12 @@
 (*dummy implementation*)
 fun profile (n: int) f x = f x;
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun exception_trace f = f ();
 
+(*dummy implementation*)
+fun print x = x;
+
 
 (** Compiler-independent timing functions **)
 
diff -r 5f40a59a798b -r fa38cca42913 src/Pure/ML-Systems/poplogml.ML
--- a/src/Pure/ML-Systems/poplogml.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/poplogml.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -24,6 +24,7 @@
 fun print_depth _ = ();
 
 fun exception_trace f = f ();
+fun print x = x;
 fun profile (n: int) f x = f x;
 
 
diff -r 5f40a59a798b -r fa38cca42913 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -69,6 +69,8 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
+(*dummy implementation*)
+fun print x = x;
 
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)