# HG changeset patch
# User haftmann
# Date 1279533343 -7200
# Node ID 3b9ca8d2c5fbbbf01056036f5ede40e43508bc8b
# Parent  443909380077d9fbfb62d43042b75b82fe2c4a30
Scala: subtle difference in printing strings vs. complex mixfix syntax

diff -r 443909380077 -r 3b9ca8d2c5fb src/HOL/List.thy
--- 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 -)
diff -r 443909380077 -r 3b9ca8d2c5fb src/HOL/Option.thy
--- 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 -)