Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-11 12:18:19 -0700 (Sun, 11 Apr 2004)
Revision: 5635
Log message:

      1. Change the opnames in Mmc_core_ast by adding a "U" prefix.
         For example, instead of Lambda[tag:s], we use ULambda[tag:s].
         There are far too many modules that include both Mmc_core_ast
         and Mmc_core_tast, and incorrect naming has been plaguing us.
      
      2. Changing recursive functions to a new form:
      
         sequent [Lambda["rec"]] { f: ty >- sequent [Lambda["std"]] { <H> -> 'e }}
      
         This expression is normally treated as a unit (meaning,
         the Lambda["rec"] doesn't make sense unless its body
         is a Lambda["std"]).
      
         This is cleaner, and allows recursion around other kinds
         of functions.
      

Changes  Path
+13 -13 mpcompiler/mmc/core/mmc_core_ast.ml
+4 -4 mpcompiler/mmc/core/mmc_core_ast.mli
+5 -7 mpcompiler/mmc/core/mmc_core_optimize.ml
+3 -6 mpcompiler/mmc/core/mmc_core_tast.ml
+2 -2 mpcompiler/mmc/core/mmc_core_tast.mli
+8 -22 mpcompiler/mmc/core/mmc_core_type_check.ml
+21 -21 mpcompiler/mmc/core/mmc_core_type_erase.ml
+27 -13 mpcompiler/mmc/core/mmc_core_type_infer.ml
+30 -62 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+2 -2 mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+13 -18 mpcompiler/mmc/syntax.pho
+1 -1 mpcompiler/mmc/test/Files
+13 -16 mpcompiler/mmc/test/mmc_array_test.ml
+2 -2 mpcompiler/mmc/test/mmc_spill_test.ml
+1 -0 mpcompiler/util/Files
+5 -5 mpcompiler/util/mm_tactic_util.ml
Added mpcompiler/util/mmc_term_util.ml
Properties mpcompiler/util/mmc_term_util.ml
Added mpcompiler/util/mmc_term_util.mli
Properties mpcompiler/util/mmc_term_util.mli