1.1 --- a/src/Tools/Code/code_haskell.ML	Thu Sep 02 11:42:50 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Thu Sep 02 12:30:22 2010 +0200
     1.3 @@ -386,13 +386,13 @@
     1.4              val _ = File.mkdir_leaf (Path.dir pathname);
     1.5            in File.write pathname
     1.6              ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
     1.7 -              ^ string_of_pretty width content)
     1.8 +              ^ format false width content)
     1.9            end
    1.10 -      | write_module width NONE (_, content) = writeln_pretty width content;
    1.11 +      | write_module width NONE (_, content) = writeln (format false width content);
    1.12    in
    1.13      Code_Target.serialization
    1.14        (fn width => fn destination => K () o map (write_module width destination))
    1.15 -      (fn width => rpair [] o cat_lines o map (string_of_pretty width o snd))
    1.16 +      (fn present => fn width => rpair [] o format present width o Pretty.chunks o map snd)
    1.17        (map (uncurry print_module) includes
    1.18          @ map serialize_module (Symtab.dest hs_program))
    1.19    end;