Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-13 21:21:47 -0700 (Sun, 13 Jun 1999)
Revision: 2713
Log message:
- Added a "strict" flag to compile_redex. Currently rewrite.ml just always sets it
to false, but the support for the flag is there.
The free variable checking in "strict" mode would not always wor correctly when
matching term that has repeated bound variables. I plan to fix most (hopefully all)
bugs related to matching terms repeated bound variables in a separate commit.
- Made rewrite_type_sig.mlz a generated file - it is very close to rewrite_types.ml
and it is annoying to have to change them both every time.