changeset 38768 | ecc713816e33 |
parent 37958 | 9728342bcd56 |
child 38770 | 1c70a502c590 |
--- 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, _))) =