src/Tools/Code/code_scala.ML

     Code_Target.serialization write (rpair [] oo string_of_pretty) p
   end;
 
 end; (*local*)
 
+val serializer : Code_Target.serializer =
+  Code_Target.parse_args (Scan.succeed ()) #> K serialize_scala;
+
 val literals = let
   fun char_scala c = if c = "'" then "\\'"
     else if c = "\"" then "\\\""
     else if c = "\\" then "\\\\"
     else let val k = ord c

 } end;
 
 
 (** Isar setup **)
 
-val isar_serializer =
-  Code_Target.parse_args (Scan.succeed ()) #> K serialize_scala;
-
 val setup =
   Code_Target.add_target
-    (target, { serializer = isar_serializer, literals = literals,
+    (target, { serializer = serializer, literals = literals,
       check = { env_var = "SCALA_HOME", make_destination = fn p => Path.append p (Path.explode "ROOT.scala"),
         make_command = fn scala_home => fn _ =>
           "export JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' && "
             ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac")) ^ " ROOT.scala" } })
   #> Code_Target.add_tyco_syntax target "fun"