Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-15 23:08:33 -0700 (Tue, 15 Jul 2003)
Revision: 4751
Log message:
Added proper parsing for meta-terms and rule/rewrite arguments -- now the
contexts in arguments are deduced base on what goes on in the meta-term.
I was very surprized by how many rules currently allow SO variable in and
out of contexts! Even with some reasonable heuristicts for figuring out the
correct contexts, I still had to specify them manually in many places.
Unfortunately, it seems that the grammar for bound contexts "killed" the nice
grammar for the set types - so now I have to mess some more with the grammar :-(