Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
each import resides in its own line
authorhaftmann
Wed, 09 Dec 2009 16:46:04 +0100
changeset 34049 132d169bd6b7
parent 34048 369509057220
child 34050 3d2acb18f2f2
each import resides in its own line
src/Tools/Code/code_haskell.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle