Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-17 17:01:49 -0800 (Thu, 17 Mar 2005)
Revision: 6965
Log message:

      Added meta_term grammar to the mmc core.
      Removed the need for the backquote (`)
      before a meta_term in a rule.
      

Changes  Path
+0 -15 metaprl/filter/filter/term_grammar.ml
+3 -0 metaprl/refiner/refiner/refiner_debug.ml
+1 -0 metaprl/refiner/refsig/term_meta_sig.ml
+64 -52 metaprl/refiner/term_gen/term_meta_gen.ml
+0 -0 mpcompiler/mmc/arch/x86/codegen/mmc_x86_reserve.ml
+12 -12 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
+1 -0 mpcompiler/mmc/core/Files
+8 -4 mpcompiler/mmc/core/mmc_core_ast_grammar.mli
Added mpcompiler/mmc/core/mmc_core_mterm_grammar.ml
Properties mpcompiler/mmc/core/mmc_core_mterm_grammar.ml
Added mpcompiler/mmc/core/mmc_core_mterm_grammar.mli
Properties mpcompiler/mmc/core/mmc_core_mterm_grammar.mli
+2 -2 mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -2 mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+2 -1 mpcompiler/mmc/test/mmc