src/Tools/code/code_target.ML
changeset 25538 58e8ba3b792b
parent 25204 36cf92f63a44
child 25621 97ebdbdb0299
     1.1 --- a/src/Tools/code/code_target.ML	Wed Dec 05 14:15:59 2007 +0100
     1.2 +++ b/src/Tools/code/code_target.ML	Wed Dec 05 14:16:05 2007 +0100
     1.3 @@ -1037,7 +1037,7 @@
     1.4                #> fold2 (fn name' => fn base' =>
     1.5                     Graph.new_node (name', (Def (base', NONE)))) names' bases')))
     1.6          |> apsnd (fold (fn name => fold (add_dep name) deps) names)
     1.7 -        |> apsnd (fold (map_node modl_explode o Graph.add_edge) (product names names))
     1.8 +        |> apsnd (fold_product (curry (map_node modl_explode o Graph.add_edge)) names names)
     1.9        end;
    1.10      fun group_defs [(_, CodeThingol.Bot)] =
    1.11            I