Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-28 01:59:33 -0800 (Mon, 28 Jan 2002)
Revision: 3482
Log message:

      Adding test cases for the MC connect code.
      Slight change to INCPATH in Conscript to ensure
      that the MC std. lib. is included first
      (if we're compiling with MC).
      

Changes  Path
+1 -1 metaprl/Conscript
+6 -2 metaprl/theories/mc/tests/mp_mc_test_connect.ml
+188 -0 metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
+6 -0 metaprl/theories/mc/tests/mp_mc_test_connect_base.mli
+178 -1 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+2 -1 metaprl/theories/mc/tests/mp_mc_test_connect_exp.mli
+6 -1 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml
+2 -1 metaprl/theories/mc/tests/mp_mc_test_connect_ty.mli