diff -r 86cac1fab613 -r 32d00a2a6f28 src/Tools/code/code_haskell.ML
--- a/src/Tools/code/code_haskell.ML	Tue Feb 03 19:37:00 2009 +0100
+++ b/src/Tools/code/code_haskell.ML	Tue Feb 03 19:37:16 2009 +0100
@@ -385,7 +385,7 @@
         val imports = deps'
           |> map NameSpace.qualifier
           |> distinct (op =);
-        fun pr_import_include (name, _) = str ("import " ^ name ^ ";");
+        fun pr_import_include (name, _) = str ("import qualified " ^ name ^ ";");
         val pr_import_module = str o (if qualified
           then prefix "import qualified "
           else prefix "import ") o suffix ";";