Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-19 20:08:04 -0700 (Tue, 19 Aug 2003)
Revision: 4851
Log message:

      Cleaned up display of sequents a bit in simple_print.
      
      Also fixed bug that was causing core_test/test_prog1 to fail.  The problem was
      that this doesn't work:
      .   match explode_term t with
      .       << sequent ['foo] { ... }
      .               when alpha_equal foo << Foo >> ->
      
      The last line actually needs to be:
      .               when alpha_equal foo << sequent_arg{Foo} >> ->
      
      Ah, the joys of untyped languages...
      
      That fixed test_prog1, but test_prog2 now fails.  Beware, there's lots of grubby
      debugging output in core_type_infer.ml...
      

Changes  Path
+11 -7 metaprl/refiner/reflib/simple_print.ml
+6 -5 mpcompiler/mmc/core/core_tuple.ml
+3 -2 mpcompiler/mmc/core/mmc_core_closure.ml
+1 -1 mpcompiler/mmc/core/mmc_core_tast.ml
+28 -11 mpcompiler/mmc/core/mmc_core_type_infer.ml
+13 -0 mpcompiler/mmc/core/mmc_core_type_util.ml
+3 -0 mpcompiler/mmc/core/mmc_core_type_util.mli
+2 -1 mpcompiler/mmc/extensions/Files
+27 -64 mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
+4 -4 mpcompiler/mmc/extensions/ext_arithmetic_integer.mli
+9 -5 mpcompiler/mmc/extensions/ext_int_test.ml
+3 -5 mpcompiler/mmc/extensions/ext_integer.ml