Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-25 00:00:41 -0800 (Tue, 25 Feb 2003)
Revision: 4124
Log message:
Two changes:
1. Added the refiner error RewriteStringOpnameOpnameError;
I was having too much trouble finding out why rewrites
weren't working.
2. Added the first phase of closure conversion. This is
the simpler phase, but it requires an inverse beta-reduction,
and I was having trouble with it (turns out, I was just being
dumb).