Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-04-12 02:35:19 -0700 (Tue, 12 Apr 2005)
Revision: 7213
Log message:

      Fix typo in comment in mmc_core_sweep.mli.
      Add missing tyref well-formedness rule.
      Yay!  The sequence extension works, so use it.
      

Changes	Path
+1 -1	mpcompiler/mmc/core/mmc_core_sweep.mli
+17 -0	mpcompiler/mmc/extensions/ref/mmc_ext_ref.ml
+1 -0	mpcompiler/mmc/test/OMakefile
+5 -5	mpcompiler/mmc/test/mmc_ref_test.ml