Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-09 14:08:38 -0700 (Thu, 09 May 2002)
Revision: 3616
Log message:

      -  Adding another program for testing purposes.
      -  MC_ROOT has been replaced by MCC_ROOT (in keeping with
         the name change of MC to MCC).
      -  Changing error reporting in mp_mc_connect_* to
         be more informative.
      

Changes  Path
+4 -4 metaprl-branches/ocaml_3_04/Conscript
+1 -1 metaprl-branches/ocaml_3_04/theories/mc/Conscript
+1 -1 metaprl-branches/ocaml_3_04/theories/mc/README
+4 -0 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml
+29 -34 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_base.ml
+6 -0 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_base.mli
+125 -135 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_exp.ml
+4 -4 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_prog.ml
+3 -6 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_ty.ml
+4 -1 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_const_elim.ml
+1 -1 metaprl-branches/ocaml_3_04/theories/mc/mp_mc_deadcode.ml
+5 -2 metaprl-branches/ocaml_3_04/theories/mc/tests/Conscript
Added metaprl-branches/ocaml_3_04/theories/mc/tests/mp_mc_test.ml
Properties metaprl-branches/ocaml_3_04/theories/mc/tests/mp_mc_test.ml
Added metaprl-branches/ocaml_3_04/theories/mc/tests/mp_mc_test.mli
Properties metaprl-branches/ocaml_3_04/theories/mc/tests/mp_mc_test.mli