1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Aug 25 11:17:33 2010 +0900
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Aug 25 09:44:54 2010 +0200
     1.3 @@ -395,8 +395,8 @@
     1.4        end
     1.5    in
     1.6      Code_Target.mk_serialization target
     1.7 -      (fn NONE => K () o map (code_writeln o snd) | SOME file => K () o map
     1.8 -        (write_module (check_destination file)))
     1.9 +      (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
    1.10 +        | SOME file => K () o map (write_module (check_destination file)))
    1.11        (rpair [] o cat_lines o map (code_of_pretty o snd))
    1.12        (map (uncurry print_module) includes
    1.13          @ map serialize_module (Symtab.dest hs_program))