Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-03 00:34:46 -0800 (Thu, 03 Feb 2005)
Revision: 6574
Log message:
This brings the support for non-sequent contexts one step closer. Now the
non-sequent contexts are properly recognized by the filter and the
corresponding address arguments are properly recognized and properly passed to
the rewriter.
The rewriter support, however, is still incomplete (this is the last missing
piece of the puzzle) - any non-trivial usage of contexts is likely to result
in Invalid_argument("...not supported...") from the rewriter.