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

      Type inference was failing because type erasure wasn't implemented for all
      terms.  Now type inference works for all test cases that it can be expected to
      work for.
      
      Next, I'll change Fix to reflect our Wednesday meeting.  I'll also try to get
      partial application working -- it's not supported at the moment.
      

Changes  Path
+1 -1 mpcompiler/mmc/core/Files
+8 -1 mpcompiler/mmc/core/core_test.ml
+2 -3 mpcompiler/mmc/core/core_tuple.ml
+6 -4 mpcompiler/mmc/core/mmc_core_ast.ml
+12 -0 mpcompiler/mmc/core/mmc_core_list_util.ml
+2 -0 mpcompiler/mmc/core/mmc_core_list_util.mli
+8 -0 mpcompiler/mmc/core/mmc_core_tast.ml
+1 -0 mpcompiler/mmc/core/mmc_core_tast.mli
+8 -7 mpcompiler/mmc/core/mmc_core_type_check.ml
+3 -1 mpcompiler/mmc/core/mmc_core_type_check.mli
+3 -1 mpcompiler/mmc/core/mmc_core_type_erase.ml
+21 -6 mpcompiler/mmc/core/mmc_core_type_infer.ml
+1 -0 mpcompiler/mmc/core/mmc_core_type_infer.mli
+13 -0 mpcompiler/mmc/extensions/ext_arithmetic.ml
+17 -0 mpcompiler/mmc/extensions/ext_array.ml
+17 -0 mpcompiler/mmc/extensions/ext_boolean.ml
+9 -0 mpcompiler/mmc/extensions/ext_integer.ml