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.
SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here;
authorwenzelm
Tue, 20 Jul 2010 21:49:39 +0200
changeset 37860 aa3b3d00698b
parent 37859 575a14dd4167
child 37861 e1f028a8c76a
SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here;
src/Pure/pure_setup.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/pure_setup.ML	Tue Jul 20 21:07:23 2010 +0200
+++ b/src/Pure/pure_setup.ML	Tue Jul 20 21:49:39 2010 +0200
@@ -18,7 +18,9 @@
 
 (* ML toplevel pretty printing *)
 
-toplevel_pp ["String", "string"] "ML_Syntax.pretty_string";
+if String.isPrefix "smlnj" ml_system then ()
+else toplevel_pp ["String", "string"] "ML_Syntax.pretty_string";
+
 toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";
 toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
 toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";
isabelle