Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
eliminated misleading dummy versions of print/makestring, cf. 6974449ddea9;
authorwenzelm
Sun, 31 May 2009 17:47:04 +0200
changeset 31321 fe786d4633b9
parent 31320 72eeb1b4e006
child 31322 526e149999cc
eliminated misleading dummy versions of print/makestring, cf. 6974449ddea9;
src/Pure/ML-Systems/mosml.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/smlnj.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/mosml.ML	Sun May 31 17:45:53 2009 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Sun May 31 17:47:04 2009 +0200
@@ -132,8 +132,6 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
-(*dummy implementation*)
-fun print x = x;
 
 
 (** Compiler-independent timing functions **)
--- a/src/Pure/ML-Systems/smlnj.ML	Sun May 31 17:45:53 2009 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Sun May 31 17:47:04 2009 +0200
@@ -92,12 +92,6 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
-(*dummy implementation*)
-fun print x = x;
-
-(*dummy implementation*)
-fun makestring x = "dummy string for SML New Jersey";
-
 
 (* ML command execution *)
isabelle