Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-03 23:24:23 -0700 (Sun, 03 Apr 2005)
Revision: 7111
Log message:

      There seems to be a simple problem in type inference that is a show-stopper.
      See Mmc_int_test/test_rec1.  This simple program does not pass type inference,
      with the following error:
      
          unify_mm:
             terms do not match:
                Term 1: L{int; int; Fun (int) ???? int; Fun (!ty_i1016) ???? !ty_i1016}
                Term 2: L{!ty_i1011; int; Fun (!ty_i1012) ???? !ty_res1013; !g_ty1015}
      
      I would love to get better error messages.  As far as I can tell, these two
      terms should unify.
      

Changes  Path
+2 -0 mpcompiler/mmc/extensions/sequence/mmc_ext_sequence.ml
+15 -0 mpcompiler/mmc/test/mmc_int_test.ml
+15 -1 mpcompiler/mmc/test/mmc_mandel_test.ml