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