--- a/src/Tools/Code/code_scala.ML Tue Aug 31 13:29:38 2010 +0200
+++ b/src/Tools/Code/code_scala.ML Tue Aug 31 13:55:54 2010 +0200
@@ -413,7 +413,7 @@
in (deresolver, sca_program) end;
-fun serialize_scala labelled_name raw_reserved includes module_alias
+fun serialize_scala labelled_name raw_reserved includes _ module_alias
_ tyco_syntax const_syntax
program (stmt_names, presentation_stmt_names) =
let
@@ -513,9 +513,8 @@
(** Isar setup **)
-fun isar_serializer _ =
- Code_Target.parse_args (Scan.succeed ())
- #> (fn () => serialize_scala);
+val isar_serializer =
+ Code_Target.parse_args (Scan.succeed ()) #> K serialize_scala;
val setup =
Code_Target.add_target