src/Tools/Code/code_haskell.ML
changeset 39056 fa197571676b
parent 39055 81e0368812ad
child 39057 c6d146ed07ae
     1.1 --- a/src/Tools/Code/code_haskell.ML	Thu Sep 02 13:43:38 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Thu Sep 02 13:58:16 2010 +0200
     1.3 @@ -381,7 +381,7 @@
     1.4          val import_ps = map print_import_include includes @ map print_import_module imports
     1.5          val content = Pretty.chunks2 ((if null import_ps then [] else [Pretty.chunks import_ps])
     1.6              @ map_filter
     1.7 -              (fn (name, (_, SOME stmt)) => SOME (print_stmt qualified (name, stmt))
     1.8 +              (fn (name, (_, SOME stmt)) => SOME (markup_stmt name (print_stmt qualified (name, stmt)))
     1.9                  | (_, (_, NONE)) => NONE) stmts
    1.10            );
    1.11        in print_module module_name' content end;
    1.12 @@ -404,9 +404,9 @@
    1.13              val _ = File.mkdir_leaf (Path.dir pathname);
    1.14            in File.write pathname
    1.15              ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
    1.16 -              ^ format false width content)
    1.17 +              ^ format [] width content)
    1.18            end
    1.19 -      | write_module width NONE (_, content) = writeln (format false width content);
    1.20 +      | write_module width NONE (_, content) = writeln (format [] width content);
    1.21    in
    1.22      Code_Target.serialization
    1.23        (fn width => fn destination => K () o map (write_module width destination))