tuned
authorhaftmann
Wed Aug 25 16:33:05 2010 +0200 (2010-08-25)
changeset 38768ecc713816e33
parent 38675 1c483d137371
child 38769 317e64c886d2
tuned
src/Tools/Code/code_haskell.ML
     1.1 --- a/src/Tools/Code/code_haskell.ML	Mon Aug 23 11:57:32 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Aug 25 16:33:05 2010 +0200
     1.3 @@ -344,11 +344,9 @@
     1.4        contr_classparam_typs
     1.5        (if string_classes then deriving_show else K false);
     1.6      fun print_module name content =
     1.7 -      (name, Pretty.chunks [
     1.8 +      (name, Pretty.chunks2 [
     1.9          str ("module " ^ name ^ " where {"),
    1.10 -        str "",
    1.11          content,
    1.12 -        str "",
    1.13          str "}"
    1.14        ]);
    1.15      fun serialize_module1 (module_name', (deps, (stmts, _))) =