src/HOL/List.thy

 use "Tools/list_code.ML"
 
 code_type list
   (SML "_ list")
   (OCaml "_ list")
-  (Haskell "![_]")
+  (Haskell "![(_)]")
+  (Scala "List[(_)]")
 
 code_const Nil
   (SML "[]")
   (OCaml "[]")
   (Haskell "[]")
+  (Scala "Nil")
 
 code_instance list :: eq
   (Haskell -)
 
 code_const "eq_class.eq \<Colon> 'a\<Colon>eq list \<Rightarrow> 'a list \<Rightarrow> bool"

         (fastype_of t) gr;
       val (ps, gr'') = fold_map
         (Codegen.invoke_codegen thy defs dep thyname false) ts gr'
     in SOME (Pretty.list "[" "]" ps, gr'') end handle TERM _ => NONE;
 in
-  fold (List_Code.add_literal_list) ["SML", "OCaml", "Haskell"]
+  fold (List_Code.add_literal_list) ["SML", "OCaml", "Haskell", "Scala"]
   #> Codegen.add_codegen "list_codegen" list_codegen
 end
 *}