Scala: subtle difference in printing strings vs. complex mixfix syntax
--- 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 -)