Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-23 17:45:46 -0800 (Sun, 23 Feb 2003)
Revision: 4113
Log message:

      This is an initial attempt at using inference rules for rewriting.
      To make this work, we would either have to:
         1. Add explicit context vars for rewriting
         2. Quantify free variables in a rewrite
      #1 seems the better choice.
      
      In any case, I think I'll go back to trying to use rewrites,
      until we talk about this approach.
      

Changes	Path
+28 -3	metaprl/theories/experimental/compile/m_cps.ml
+1 -0	metaprl/theories/experimental/compile/m_cps.mli
+1 -1	metaprl/theories/experimental/compile/m_test.ml