# HG changeset patch
# User haftmann
# Date 1283177469 -7200
# Node ID caba168a303901873c32dfb5209310b2a095e01d
# Parent  6af1d8673cbfb46d47f335bf1d2d2624e56c7736
trailing newline by default

diff -r 6af1d8673cbf -r caba168a3039 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:00:41 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:11:09 2010 +0200
@@ -391,7 +391,7 @@
       end
   in
     Code_Target.mk_serialization
-      (fn width => (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
+      (fn width => (fn NONE => K () o map (code_writeln o snd)
         | SOME file => K () o map (write_module (check_destination file))))
       (fn width => (rpair [] o cat_lines o map (code_of_pretty o snd)))
       (map (uncurry print_module) includes
diff -r 6af1d8673cbf -r caba168a3039 src/Tools/Code/code_printer.ML
--- a/src/Tools/Code/code_printer.ML	Mon Aug 30 16:00:41 2010 +0200
+++ b/src/Tools/Code/code_printer.ML	Mon Aug 30 16:11:09 2010 +0200
@@ -124,7 +124,7 @@
 fun indent i = Print_Mode.setmp [] (Pretty.indent i);
 
 fun string_of_pretty width p = Print_Mode.setmp [] (Pretty.string_of_margin width) p ^ "\n";
-fun writeln_pretty width p = writeln (Print_Mode.setmp [] (Pretty.string_of_margin width) p);
+fun writeln_pretty width p = writeln (string_of_pretty width p);
 
 
 (** names and variable name contexts **)