Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-03-30 18:48:35 -0800 (Sat, 30 Mar 2002)
Revision: 3551
Log message:

      Test cases for the "connection" code are pretty much complete.
      I've fixed a few bugs that cropped up (including a major one
      in Mp_mc_term_op).  What's needed now is the final set of functions
      to take an entire MC Fir.prog to some sort of MetaPRL term.
      

Changes  Path
+2 -2 metaprl/Conscript
+7 -5 metaprl/theories/mc/Conscript
+1 -97 metaprl/theories/mc/README
+2 -3 metaprl/theories/mc/TODO
+4 -4 metaprl/theories/mc/mp_mc_connect_base.ml
+3 -1 metaprl/theories/mc/mp_mc_connect_base.mli
+4 -4 metaprl/theories/mc/mp_mc_connect_exp.ml
+34 -23 metaprl/theories/mc/mp_mc_term_op.ml
+2 -14 metaprl/theories/mc/tests/Conscript
+1 -0 metaprl/theories/mc/tests/mp_mc_test_connect.ml
+45 -171 metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
+10 -0 metaprl/theories/mc/tests/mp_mc_test_connect_base.mli
+340 -547 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+61 -100 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml