author | haftmann |
Wed, 25 Aug 2010 16:33:05 +0200 | |
changeset 38768 | ecc713816e33 |
parent 38675 | 1c483d137371 |
child 38769 | 317e64c886d2 |
--- 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, _))) =