1.1 --- a/src/Tools/Code/code_haskell.ML Mon Aug 30 16:17:10 2010 +0200
1.2 +++ b/src/Tools/Code/code_haskell.ML Mon Aug 30 16:21:47 2010 +0200
1.3 @@ -316,7 +316,7 @@
1.4 fun serialize_haskell module_prefix module_name string_classes labelled_name
1.5 raw_reserved includes module_alias
1.6 syntax_class syntax_tyco syntax_const program
1.7 - (stmt_names, presentation_stmt_names) width =
1.8 + (stmt_names, presentation_stmt_names) =
1.9 let
1.10 val reserved = fold (insert (op =) o fst) includes raw_reserved;
1.11 val (deresolver, hs_program) = haskell_program_of_program labelled_name
1.12 @@ -396,7 +396,6 @@
1.13 (fn width => (rpair [] o cat_lines o map (string_of_pretty width o snd)))
1.14 (map (uncurry print_module) includes
1.15 @ map serialize_module (Symtab.dest hs_program))
1.16 - width
1.17 end;
1.18
1.19 val literals = let