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

      Added the ability to use quotations to specify meta_terms.
      
      mmc_int_test/test1 now passes code generation.
      

Changes  Path
+2 -39 metaprl/filter/base/filter_summary.ml
+16 -0 metaprl/filter/filter/term_grammar.ml
+6 -0 metaprl/refiner/refiner/refiner_debug.ml
+1 -1 metaprl/refiner/refiner/refiner_ds.ml
+1 -1 metaprl/refiner/refiner/refiner_std.ml
+5 -0 metaprl/refiner/refsig/term_meta_sig.ml
+54 -0 metaprl/refiner/term_gen/term_meta_gen.ml
+2 -0 metaprl/refiner/term_gen/term_meta_gen.mli
+23 -0 metaprl/support/display/summary.mli
+1 -0 mpcompiler/mmc/arch/x86/base/Files
+11 -1 mpcompiler/mmc/arch/x86/base/mmc_x86_asm_grammar.ml
+27 -15 mpcompiler/mmc/arch/x86/base/mmc_x86_asm_grammar.mli
+26 -3 mpcompiler/mmc/arch/x86/base/mmc_x86_util.ml
+14 -2 mpcompiler/mmc/arch/x86/base/mmc_x86_util.mli
+1 -1 mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.ml
+79 -29 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+1 -1 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen_grammar.ml
+2 -0 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen_grammar.mli
+2 -2 mpcompiler/mmc/arch/x86/codegen/mmc_x86_reserve.ml
+1 -0 mpcompiler/mmc/arch/x86/codegen/mmc_x86_reserve_grammar.mli
+1 -0 mpcompiler/mmc/arch/x86/type/Files
Added mpcompiler/mmc/arch/x86/type/mmc_x86_mterm_grammar.ml
Properties mpcompiler/mmc/arch/x86/type/mmc_x86_mterm_grammar.ml
Added mpcompiler/mmc/arch/x86/type/mmc_x86_mterm_grammar.mli
Properties mpcompiler/mmc/arch/x86/type/mmc_x86_mterm_grammar.mli
+26 -26 mpcompiler/mmc/arch/x86/type/mmc_x86_sweep.ml
+7 -7 mpcompiler/mmc/arch/x86/type/mmc_x86_sweep_grammar.ml
+21 -21 mpcompiler/mmc/arch/x86/type/mmc_x86_sweep_grammar.mli
+64 -8 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
+4 -0 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_grammar.ml
+29 -8 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_grammar.mli
+2 -2 mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+19 -5 mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml