1.1 --- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:00:41 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:11:09 2010 +0200
     1.3 @@ -391,7 +391,7 @@
     1.4        end
     1.5    in
     1.6      Code_Target.mk_serialization
     1.7 -      (fn width => (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
     1.8 +      (fn width => (fn NONE => K () o map (code_writeln o snd)
     1.9          | SOME file => K () o map (write_module (check_destination file))))
    1.10        (fn width => (rpair [] o cat_lines o map (code_of_pretty o snd)))
    1.11        (map (uncurry print_module) includes

     2.1 --- a/src/Tools/Code/code_printer.ML	Mon Aug 30 16:00:41 2010 +0200
     2.2 +++ b/src/Tools/Code/code_printer.ML	Mon Aug 30 16:11:09 2010 +0200
     2.3 @@ -124,7 +124,7 @@
     2.4  fun indent i = Print_Mode.setmp [] (Pretty.indent i);
     2.5  
     2.6  fun string_of_pretty width p = Print_Mode.setmp [] (Pretty.string_of_margin width) p ^ "\n";
     2.7 -fun writeln_pretty width p = writeln (Print_Mode.setmp [] (Pretty.string_of_margin width) p);
     2.8 +fun writeln_pretty width p = writeln (string_of_pretty width p);
     2.9  
    2.10  
    2.11  (** names and variable name contexts **)