--- a/src/Tools/Code/code_scala.ML Thu Aug 26 12:20:34 2010 +0200
+++ b/src/Tools/Code/code_scala.ML Thu Aug 26 12:30:43 2010 +0200
@@ -441,7 +441,7 @@
(* print nodes *)
fun print_implicits [] = NONE
| print_implicits implicits = (SOME o Pretty.block)
- (str "import /*implicits*/" :: Pretty.brk 1 :: Pretty.commas (map (str o deresolve) implicits));
+ (str "import /*implicits*/" :: Pretty.brk 1 :: commas (map (str o deresolve) implicits));
fun print_module base implicits p = Pretty.chunks2
([str ("object " ^ base ^ " {")] @ the_list (print_implicits implicits)
@ [p, str ("} /* object " ^ base ^ " */")]);