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.
string_of_option tuned
authorwebertj
Mon, 08 May 2006 12:23:57 +0200
changeset 19588 846f0d5bfc83
parent 19587 eb063e7932d7
child 19589 d42149a01a01
string_of_option tuned
src/Pure/library.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/library.ML	Sun May 07 00:47:07 2006 +0200
+++ b/src/Pure/library.ML	Mon May 08 12:23:57 2006 +0200
@@ -374,7 +374,7 @@
   | merge_opt eq (SOME x, SOME y) = if eq (x, y) then SOME y else raise Option;
 
 fun string_of_option f NONE     = "NONE"
-  | string_of_option f (SOME x) = "SOME " ^ f x;
+  | string_of_option f (SOME x) = "SOME (" ^ f x ^ ")";
 
 
 (* exceptions *)
isabelle