# HG changeset patch
# User haftmann
# Date 1283627448 -7200
# Node ID f63715f00fdde31feb3235bde851e7d332b5fce1
# Parent  5ec8e4404c3309483c0bfe64cae4c4b8e6c5d4c2
dropped names from serializer interface

diff -r 5ec8e4404c33 -r f63715f00fdd src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Sat Sep 04 21:10:48 2010 +0200
@@ -331,10 +331,8 @@
       handle Option => error ("Unknown statement name: " ^ labelled_name name);
   in (deresolver, hs_program) end;
 
-fun serialize_haskell module_prefix string_classes { labelled_name,
-    reserved_syms, includes, module_alias,
-    class_syntax, tyco_syntax, const_syntax, program,
-    names } =
+fun serialize_haskell module_prefix string_classes { labelled_name, reserved_syms,
+    includes, module_alias, class_syntax, tyco_syntax, const_syntax, program } =
   let
     val reserved = fold (insert (op =) o fst) includes reserved_syms;
     val (deresolver, hs_program) = haskell_program_of_program labelled_name
diff -r 5ec8e4404c33 -r f63715f00fdd src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_ml.ML	Sat Sep 04 21:10:48 2010 +0200
@@ -785,9 +785,9 @@
       cyclic_modules = false, empty_data = (), memorize_data = K I, modify_stmts = modify_stmts } program
   end;
 
-fun serialize_ml target print_module print_stmt with_signatures { labelled_name,
-  reserved_syms, includes, module_alias, class_syntax, tyco_syntax,
-  const_syntax, program, names } =
+fun serialize_ml target print_module print_stmt with_signatures
+    { labelled_name, reserved_syms, includes, module_alias,
+      class_syntax, tyco_syntax, const_syntax, program } =
   let
     val is_cons = Code_Thingol.is_cons program;
     val { deresolver, hierarchical_program = ml_program } =
diff -r 5ec8e4404c33 -r f63715f00fdd src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Sat Sep 04 21:10:48 2010 +0200
@@ -329,8 +329,7 @@
   end;
 
 fun serialize_scala { labelled_name, reserved_syms, includes,
-    module_alias, class_syntax, tyco_syntax, const_syntax, program,
-    names } =
+    module_alias, class_syntax, tyco_syntax, const_syntax, program } =
   let
 
     (* build program *)
diff -r 5ec8e4404c33 -r f63715f00fdd src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Sat Sep 04 21:10:48 2010 +0200
@@ -105,7 +105,8 @@
        Symtab.join (K snd) (const1, const2))
   );
 
-type serializer = Token.T list (*arguments*) -> {
+type serializer = Token.T list
+  -> {
     labelled_name: string -> string,
     reserved_syms: string list,
     includes: (string * Pretty.T) list,
@@ -113,8 +114,7 @@
     class_syntax: string -> string option,
     tyco_syntax: string -> Code_Printer.tyco_syntax option,
     const_syntax: string -> Code_Printer.activated_const_syntax option,
-    program: Code_Thingol.program,
-    names: string list }
+    program: Code_Thingol.program }
   -> serialization;
 
 datatype description = Fundamental of { serializer: serializer,
@@ -321,8 +321,7 @@
       class_syntax = Symtab.lookup class_syntax,
       tyco_syntax = Symtab.lookup tyco_syntax,
       const_syntax = Symtab.lookup const_syntax,
-      program = program,
-      names = names }
+      program = program }
   end;
 
 fun mount_serializer thy target some_width module_name args naming proto_program names =