Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-20 18:35:37 -0800 (Fri, 20 Feb 2004)
Revision: 5397
Log message:

      Oops, I should have committed my changes before adding test cases.  This is the
      version of MetaPRL used to generate the prla from my last commit.  This also
      includes more test cases.
      

Changes  Path
+2 -1 mpcompiler/mmc/core/mmc_core_cps.ml
+6 -1 mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -0 mpcompiler/mmc/core/mmc_core_type_check.mli
+0 -0 mpcompiler/mmc/core/mmc_core_type_infer.ml
+1 -1 mpcompiler/mmc/core/mmc_core_type_infer.mli
+14 -2 mpcompiler/mmc/extensions/ext_fix.ml
Added mpcompiler/mmc/extensions/ext_int_test.prla
Properties mpcompiler/mmc/extensions/ext_int_test.prla