fixed bug resolving Haskell names
authorhaftmann
Wed Jun 21 11:24:19 2006 +0200 (2006-06-21)
changeset 19937d1b8374d8df7
parent 19936 18b4e43ac583
child 19938 241a7777a3ff
fixed bug resolving Haskell names
src/Pure/Tools/codegen_thingol.ML
     1.1 --- a/src/Pure/Tools/codegen_thingol.ML	Wed Jun 21 11:23:49 2006 +0200
     1.2 +++ b/src/Pure/Tools/codegen_thingol.ML	Wed Jun 21 11:24:19 2006 +0200
     1.3 @@ -1002,7 +1002,7 @@
     1.4            seri_defs sresolver (NameSpace.pack prfx)
     1.5              (map (fn (name, Def def) => (fst (mk_name prfx name), def)) ds)
     1.6    in
     1.7 -    seri_module (resolver []) ((the o Symtab.lookup imptab) "")
     1.8 +    seri_module (resolver []) (map (resolver []) ((the o Symtab.lookup imptab) ""))
     1.9        (*map (resolver []) (Graph.strong_conn module |> flat |> rev)*)
    1.10        (("", name_root), (mk_contents [] module))
    1.11    end;