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