Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-03-20 15:12:18 -0700 (Tue, 20 Mar 2007)
Revision: 10254
Log message:

      Optimized the create_node_or_phony - instead of maintaining a set of phony
     nodes (which meant that we had to try interning every time before we could
     test for membership), maintain a phony set in terms of an elt_node set.

Changes  Path
+5 -5 omake-branches/0.9.8.x/src/env/omake_env.ml
+13 -21 omake-branches/0.9.8.x/src/ir/omake_node.ml
+6 -8 omake-branches/0.9.8.x/src/ir/omake_node.mli
+5 -0 omake-branches/0.9.8.x/src/ir/omake_node_sig.ml