--- 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))