diff -r e8b68ec3bb9c -r ebeb48fd653b src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Thu Sep 02 11:42:50 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Thu Sep 02 12:30:22 2010 +0200
@@ -386,13 +386,13 @@
             val _ = File.mkdir_leaf (Path.dir pathname);
           in File.write pathname
             ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
-              ^ string_of_pretty width content)
+              ^ format false width content)
           end
-      | write_module width NONE (_, content) = writeln_pretty width content;
+      | write_module width NONE (_, content) = writeln (format false width content);
   in
     Code_Target.serialization
       (fn width => fn destination => K () o map (write_module width destination))
-      (fn width => rpair [] o cat_lines o map (string_of_pretty width o snd))
+      (fn present => fn width => rpair [] o format present width o Pretty.chunks o map snd)
       (map (uncurry print_module) includes
         @ map serialize_module (Symtab.dest hs_program))
   end;