Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_haskell.ML
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, _))) =
isabelle