1.1 --- a/src/Tools/Code/code_haskell.ML Thu Sep 02 14:36:49 2010 +0200
1.2 +++ b/src/Tools/Code/code_haskell.ML Thu Sep 02 14:59:28 2010 +0200
1.3 @@ -334,7 +334,7 @@
1.4 fun serialize_haskell module_prefix string_classes { labelled_name,
1.5 reserved_syms, includes, module_alias,
1.6 class_syntax, tyco_syntax, const_syntax, program,
1.7 - names, presentation_names } =
1.8 + names } =
1.9 let
1.10 val reserved = fold (insert (op =) o fst) includes reserved_syms;
1.11 val (deresolver, hs_program) = haskell_program_of_program labelled_name