Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-11 20:46:41 -0800 (Fri, 11 Mar 2005)
Revision: 6909
Log message:

      A first swipe at enforcing the value restriction.  It's probably not correct.
      I'll look at it again on Monday.
      

Changes  Path
+0 -0 mpcompiler/mmc/OMakefile
+12 -1 mpcompiler/mmc/core/mmc_core_type_check.ml
+1 -0 mpcompiler/mmc/core/mmc_core_type_check.mli
+1 -0 mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+4 -0 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+2 -0 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+1 -0 mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+1 -0 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+3 -1 mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+13 -0 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+2 -0 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.mli
+2 -0 mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml
+19 -0 mpcompiler/mmc/test/mmc_int_test.ml