Scala: subtle difference in printing strings vs. complex mixfix syntax
authorhaftmann
Mon Jul 19 11:55:43 2010 +0200 (2010-07-19)
changeset 378803b9ca8d2c5fb
parent 37879 443909380077
child 37881 096c8397c989
Scala: subtle difference in printing strings vs. complex mixfix syntax
src/HOL/List.thy
src/HOL/Option.thy
     1.1 --- a/src/HOL/List.thy	Mon Jul 19 11:55:42 2010 +0200
     1.2 +++ b/src/HOL/List.thy	Mon Jul 19 11:55:43 2010 +0200
     1.3 @@ -4819,7 +4819,7 @@
     1.4    (SML "[]")
     1.5    (OCaml "[]")
     1.6    (Haskell "[]")
     1.7 -  (Scala "Nil")
     1.8 +  (Scala "!Nil")
     1.9  
    1.10  code_instance list :: eq
    1.11    (Haskell -)
     2.1 --- a/src/HOL/Option.thy	Mon Jul 19 11:55:42 2010 +0200
     2.2 +++ b/src/HOL/Option.thy	Mon Jul 19 11:55:43 2010 +0200
     2.3 @@ -114,7 +114,7 @@
     2.4    (SML "NONE" and "SOME")
     2.5    (OCaml "None" and "Some _")
     2.6    (Haskell "Nothing" and "Just")
     2.7 -  (Scala "None" and "!Some((_))")
     2.8 +  (Scala "!None" and "Some")
     2.9  
    2.10  code_instance option :: eq
    2.11    (Haskell -)