src/Tools/Code/code_ml.ML
changeset 38928 0e6f54c9d201
parent 38926 24f82786cc57
child 38933 bd77e092f67c
     1.1 --- a/src/Tools/Code/code_ml.ML	Tue Aug 31 14:43:27 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Tue Aug 31 15:08:04 2010 +0200
     1.3 @@ -903,7 +903,7 @@
     1.4    in (deresolver, nodes) end;
     1.5  
     1.6  fun serialize_ml target print_module print_stmt with_signatures { labelled_name,
     1.7 -  reserved_syms, includes, single_module, module_alias, class_syntax, tyco_syntax,
     1.8 +  reserved_syms, includes, module_alias, class_syntax, tyco_syntax,
     1.9    const_syntax, program, names, presentation_names } =
    1.10    let
    1.11      val is_cons = Code_Thingol.is_cons program;
    1.12 @@ -927,8 +927,7 @@
    1.13          o rev o flat o Graph.strong_conn) nodes
    1.14        |> split_list
    1.15        |> (fn (decls, body) => (flat decls, body))
    1.16 -    val names' = map (try (deresolver [])) names
    1.17 -      |> single_module ? (map o Option.map) Long_Name.base_name;
    1.18 +    val names' = map (try (deresolver [])) names;
    1.19      val p = Pretty.chunks2 (map snd includes @ snd (print_nodes [] nodes));
    1.20      fun write width NONE = writeln_pretty width
    1.21        | write width (SOME p) = File.write p o string_of_pretty width;