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.
Scala: subtle difference in printing strings vs. complex mixfix syntax
authorhaftmann
Mon, 19 Jul 2010 11:55:43 +0200
changeset 37880 3b9ca8d2c5fb
parent 37879 443909380077
child 37881 096c8397c989
Scala: subtle difference in printing strings vs. complex mixfix syntax
src/HOL/List.thy file | annotate | diff | comparison | revisions
src/HOL/Option.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/List.thy	Mon Jul 19 11:55:42 2010 +0200
+++ b/src/HOL/List.thy	Mon Jul 19 11:55:43 2010 +0200
@@ -4819,7 +4819,7 @@
   (SML "[]")
   (OCaml "[]")
   (Haskell "[]")
-  (Scala "Nil")
+  (Scala "!Nil")
 
 code_instance list :: eq
   (Haskell -)
--- a/src/HOL/Option.thy	Mon Jul 19 11:55:42 2010 +0200
+++ b/src/HOL/Option.thy	Mon Jul 19 11:55:43 2010 +0200
@@ -114,7 +114,7 @@
   (SML "NONE" and "SOME")
   (OCaml "None" and "Some _")
   (Haskell "Nothing" and "Just")
-  (Scala "None" and "!Some((_))")
+  (Scala "!None" and "Some")
 
 code_instance option :: eq
   (Haskell -)
isabelle