diff -r 72fd257f4343 -r 0e2596019119 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Wed Aug 25 11:17:33 2010 +0900
+++ b/src/Tools/Code/code_haskell.ML	Wed Aug 25 09:44:54 2010 +0200
@@ -395,8 +395,8 @@
       end
   in
     Code_Target.mk_serialization target
-      (fn NONE => K () o map (code_writeln o snd) | SOME file => K () o map
-        (write_module (check_destination file)))
+      (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
+        | SOME file => K () o map (write_module (check_destination file)))
       (rpair [] o cat_lines o map (code_of_pretty o snd))
       (map (uncurry print_module) includes
         @ map serialize_module (Symtab.dest hs_program))