Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-16 14:10:58 -0700 (Thu, 16 May 2002)
Revision: 3649
Log message:

      Committing the 2nd part of the inling code I've written.
      I'm not sure if it works since Phobos cannot properly generate
      string / token terms yet.  Other than that, the only other
      real piece of remaining work is to take the term injected
      through the Phobos path and get it back to MCC for further
      compilation.
      

Changes	Path
+62 -12	metaprl/theories/mc/mp_mc_compile.ml
+38 -1	metaprl/theories/mc/mp_mc_inline.ml
+12 -0	metaprl/theories/mc/mp_mc_inline.mli
+15 -1	metaprl/theories/mc/tests/mp_mc_test.ml