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