Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-10 18:25:34 -0800 (Mon, 10 Nov 2003)
Revision: 5085
Log message:
The Filter_hash module needs to go away. A much simpler way
of location-independent hashing of ML ASTs is by using the
Reloc module to "relocate" the relevant ASTs to location 0,0
and to hash the result. This might be somewhat less efficient,
but we are not planning to use it all that often anyway.
The only thing that prevents me from being able to get rid
of this module right now is that currenlty only the Pcaml.expr_reloc
and Pcaml.patt_reloc functions are available, but the other ones
(str_item_reloc, for example) are not exported. I have filed an RFE
(see the #1924 at http://caml.inria.fr/bin/caml-bugs/), hopefully
it will get included in the next release...
Changes | Path |
+21 -177 | metaprl-branches/ocaml_3_07/filter/base/filter_hash.ml |