Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-05-24 19:12:01 -0700 (Mon, 24 May 1999)
Revision: 2671
Log message:
OK, here is the updated code for the weak-pointers based Term_copy modules
The changes include:
1) I added the new garbage collecting mechanism written by Yegor.
2) Parameters are now hashed as a whole instead of recursively weak-hashing them.
3) I merged the TermHeader module into the TermHash module which allowed me to keep
most TermHash types abstract.
4) I cleaned up the code a little.
Yegor, can you run some test on this code and see if there is any evidence that we
still have the bug? Thanks!