Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-20 17:28:31 -0700 (Wed, 20 Aug 2003)
Revision: 4860
Log message:

      Type inference is now working on test_prog[1-2].  Haven't tried any other cases
      yet.  Changed simp_typeinf to take a tenv *and* a venv.
      

Changes  Path
+10 -8 metaprl/support/tactics/simp_typeinf.ml
+7 -5 metaprl/support/tactics/simp_typeinf.mli
+1 -1 mpcompiler/mmc/core/core_test.ml
+8 -8 mpcompiler/mmc/core/core_tuple.ml
+69 -59 mpcompiler/mmc/core/mmc_core_type_infer.ml
+4 -4 mpcompiler/mmc/extensions/ext_arithmetic.ml
+1 -1 mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
+11 -11 mpcompiler/mmc/extensions/ext_array.ml
+1 -1 mpcompiler/mmc/extensions/ext_integer.ml