changeset 38770 | 1c70a502c590 |
parent 38703 | 0e2596019119 |
parent 38768 | ecc713816e33 |
child 38779 | 89f654951200 |
--- a/src/Tools/Code/code_haskell.ML Wed Aug 25 18:46:22 2010 +0200 +++ b/src/Tools/Code/code_haskell.ML Wed Aug 25 22:47:04 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, _))) =