Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-04-29 19:36:27 -0700 (Thu, 29 Apr 2004)
Revision: 5742
Log message:

      The new file mmc_lir_simplify is a first draft of the code to eliminate all
      "closure" and "std" lambdas/apply's/tyfun's.  There are problems with types that
      aren't (and can't be) available.  As Aleksey realized this evening, closures
      should have existential type (the caller of a function can't know about the
      function's environment type).  So should we add this as an extension or as a
      core feature?  The other option is to push this stage back into the weakly-typed
      stage of the compiler and just fudge it.
      

Changes	Path
+4 -0	mpcompiler/mmc/lir/mmc_lir_of_tast.ml
Added	mpcompiler/mmc/lir/mmc_lir_simplify.ml
Properties	mpcompiler/mmc/lir/mmc_lir_simplify.ml