1.1 --- a/src/Tools/Code/code_haskell.ML	Tue Nov 03 17:06:08 2009 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Tue Nov 03 17:06:35 2009 +0100
     1.3 @@ -360,14 +360,10 @@
     1.4      fun serialize_module1 (module_name', (deps, (stmts, _))) =
     1.5        let
     1.6          val stmt_names = map fst stmts;
     1.7 -        val deps' = subtract (op =) stmt_names deps
     1.8 +        val qualified = is_none module_name;
     1.9 +        val imports = subtract (op =) stmt_names deps
    1.10            |> distinct (op =)
    1.11 -          |> map_filter (try deresolver);
    1.12 -        val qualified = is_none module_name andalso
    1.13 -          map deresolver stmt_names @ deps'
    1.14 -          |> map Long_Name.base_name
    1.15 -          |> has_duplicates (op =);
    1.16 -        val imports = deps'
    1.17 +          |> map_filter (try deresolver)
    1.18            |> map Long_Name.qualifier
    1.19            |> distinct (op =);
    1.20          fun pr_import_include (name, _) = str ("import qualified " ^ name ^ ";");