Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-17 15:12:48 -0800 (Tue, 17 Feb 2004)
Revision: 5382
Log message:

      Added a Fix term as an extension to the compiler for recursive functions.
      The compiler doesn't seem to work at this point -- I think type erasure is not
      working correctly.
      

Changes  Path
+9 -9 mpcompiler/mmc/core/core_test.ml
+4 -4 mpcompiler/mmc/core/mmc_core_ast.ml
+1 -1 mpcompiler/mmc/core/mmc_core_ast.mli
+1 -1 mpcompiler/mmc/core/mmc_core_type_erase.ml
+1 -1 mpcompiler/mmc/core/mmc_core_type_infer.ml
+1 -0 mpcompiler/mmc/extensions/Files
Added mpcompiler/mmc/extensions/ext_fix.ml
Properties mpcompiler/mmc/extensions/ext_fix.ml
Added mpcompiler/mmc/extensions/ext_fix.mli
Properties mpcompiler/mmc/extensions/ext_fix.mli
+35 -8 mpcompiler/mmc/extensions/ext_int_test.ml
+1 -0 mpcompiler/mmc/extensions/ext_int_test.mli