# HG changeset patch
# User haftmann
# Date 1150881859 -7200
# Node ID d1b8374d8df705022dbf1ef937e425dbd500951d
# Parent  18b4e43ac5836acd7a905f29907fdd9bd7ff53ea
fixed bug resolving Haskell names

diff -r 18b4e43ac583 -r d1b8374d8df7 src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Wed Jun 21 11:23:49 2006 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Wed Jun 21 11:24:19 2006 +0200
@@ -1002,7 +1002,7 @@
           seri_defs sresolver (NameSpace.pack prfx)
             (map (fn (name, Def def) => (fst (mk_name prfx name), def)) ds)
   in
-    seri_module (resolver []) ((the o Symtab.lookup imptab) "")
+    seri_module (resolver []) (map (resolver []) ((the o Symtab.lookup imptab) ""))
       (*map (resolver []) (Graph.strong_conn module |> flat |> rev)*)
       (("", name_root), (mk_contents [] module))
   end;