Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-09 11:08:06 -0800 (Wed, 09 Mar 2005)
Revision: 6871
Log message:

      Removed the "rec" tag.
      
      Aha!  I figured out the reason why we wanted it.  The issue is
      that, in closure conversion, the rule for anonymous lambdas is
      selected before the rule for recursive functions.
      
      Both transformations are correct, so it is just the closure
      conversion tactic that needs fixing.
      

Changes  Path
+19 -17 mpcompiler/mmc/core/mmc_core_closure.ml
+1 -7 mpcompiler/mmc/core/mmc_core_tast.ml
+0 -8 mpcompiler/mmc/core/mmc_core_tast.mli
+9 -2 mpcompiler/mmc/core/mmc_core_type_check.ml
+13 -41 mpcompiler/mmc/core/mmc_core_type_infer.ml