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.
dropping accidental self-imports
authorhaftmann
Wed, 15 Nov 2006 17:05:48 +0100
changeset 21389 10757dcdfe80
parent 21388 9d8344cf029f
child 21390 b3a9d8a83dea
dropping accidental self-imports
src/Pure/Tools/codegen_serializer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_serializer.ML	Wed Nov 15 17:05:47 2006 +0100
+++ b/src/Pure/Tools/codegen_serializer.ML	Wed Nov 15 17:05:48 2006 +0100
@@ -1095,7 +1095,8 @@
     fun seri_module (modlname, (modlname', (imports, (defs, _)))) =
       Pretty.chunks (
         str ("module " ^ modlname' ^ " where")
-        :: map str (distinct (op =) (map (prefix "import qualified " o deresolv_module) imports)) @ (
+        :: map (str o prefix "import qualified ")
+          (imports |> map deresolv_module |> distinct (op =) |> remove (op =) modlname') @ (
         (case module_prolog modlname
          of SOME prolog => [str "", prolog, str ""]
           | NONE => [str ""])
isabelle