1.1 --- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 15:01:32 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:00:41 2010 +0200
     1.3 @@ -316,7 +316,7 @@
     1.4  fun serialize_haskell module_prefix module_name string_classes labelled_name
     1.5      raw_reserved includes module_alias
     1.6      syntax_class syntax_tyco syntax_const (code_of_pretty, code_writeln) program
     1.7 -    (stmt_names, presentation_stmt_names) destination =
     1.8 +    (stmt_names, presentation_stmt_names) width =
     1.9    let
    1.10      val reserved = fold (insert (op =) o fst) includes raw_reserved;
    1.11      val (deresolver, hs_program) = haskell_program_of_program labelled_name
    1.12 @@ -390,13 +390,13 @@
    1.13            ^ code_of_pretty content)
    1.14        end
    1.15    in
    1.16 -    Code_Target.mk_serialization target
    1.17 -      (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
    1.18 -        | SOME file => K () o map (write_module (check_destination file)))
    1.19 -      (rpair [] o cat_lines o map (code_of_pretty o snd))
    1.20 +    Code_Target.mk_serialization
    1.21 +      (fn width => (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
    1.22 +        | SOME file => K () o map (write_module (check_destination file))))
    1.23 +      (fn width => (rpair [] o cat_lines o map (code_of_pretty o snd)))
    1.24        (map (uncurry print_module) includes
    1.25          @ map serialize_module (Symtab.dest hs_program))
    1.26 -      destination
    1.27 +      width
    1.28    end;
    1.29  
    1.30  val literals = let