Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-17 15:44:53 -0800 (Wed, 17 Mar 2004)
Revision: 5473
Log message:

      Changed over to Lambda[tag], TyFun[tag] and Apply[tag] in the typed AST.  tag
      can be either "c" for closures or "std" for standard functions.
      

Changes  Path
+36 -25 mpcompiler/mmc/core/mmc_core_closure.ml
+19 -19 mpcompiler/mmc/core/mmc_core_cps.ml
+26 -7 mpcompiler/mmc/core/mmc_core_tast.ml
+3 -2 mpcompiler/mmc/core/mmc_core_tast.mli
+27 -27 mpcompiler/mmc/core/mmc_core_type_check.ml
+6 -6 mpcompiler/mmc/core/mmc_core_type_erase.ml
+5 -5 mpcompiler/mmc/core/mmc_core_type_infer.ml