src/Tools/Code/code_namespace.ML

             Long_Name.append (the (AList.lookup (op =) import_tab name))
               (base_deresolver name))) imported_names
       end;
     val name_tabs = AList.make (uncurry classify_names o Graph.get_node flat_program)
       (Graph.keys flat_program);
-    val deresolver_tab = Symtab.empty
-      |> fold (fn (module_name, name_tab) => Symtab.update (module_name, name_tab)) name_tabs;
+    val deresolver_tab = fold Symtab.update name_tabs Symtab.empty;
     fun deresolver module_name name =
       the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
       handle Option => error ("Unknown statement name: " ^ labelled_name name);
 
   in { deresolver = deresolver, flat_program = flat_program } end;