Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-16 00:21:56 -0700 (Wed, 16 Jul 2003)
Revision: 4752
Log message:
The branch finally compiles! Still TODO:
- A lot of debugging (it currently just dies on startup)
- finish pushing the new parsing changes all the way to the parsing of terms in toploop
- fully implement the context restrictions on rule/rewrite arguments (this is
different from how it works in case of rule/rewrite goals since arguments are compiled
by the rewriter out of the scope of those contexts).