diff -r 369509057220 -r 132d169bd6b7 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Wed Dec 09 16:46:03 2009 +0100
+++ b/src/Tools/Code/code_haskell.ML	Wed Dec 09 16:46:04 2009 +0100
@@ -363,11 +363,11 @@
           |> map Long_Name.qualifier
           |> distinct (op =);
         fun print_import_include (name, _) = str ("import qualified " ^ name ^ ";");
-        val print_import_module = str o (if qualified
-          then prefix "import qualified "
-          else prefix "import ") o suffix ";";
+        fun print_import_module name = str ((if qualified
+          then "import qualified "
+          else "import ") ^ name ^ ";");
         val import_ps = map print_import_include includes @ map print_import_module imports
-        val content = Pretty.chunks2 (if null import_ps then [] else [Pretty.block import_ps]
+        val content = Pretty.chunks2 (if null import_ps then [] else [Pretty.chunks import_ps]
             @ map_filter
               (fn (name, (_, SOME stmt)) => SOME (print_stmt qualified (name, stmt))
                 | (_, (_, NONE)) => NONE) stmts