Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-10-11 16:38:05 -0700 (Mon, 11 Oct 2004)
Revision: 6236
Log message:

      This should fix type checking after closure conversion.  There was no rule for
      LegalLetRecBody{ Lambda["closure"]{| ... |} }.
      
      Also contains a non-working version of direct-call optimization.
      

Changes  Path
+69 -9 mpcompiler/mmc/core/mmc_core_closure.ml
+6 -1 mpcompiler/mmc/core/mmc_core_closure.mli
+4 -0 mpcompiler/mmc/core/mmc_core_type_check.ml