Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-11 03:10:37 -0700 (Mon, 11 Oct 2004)
Revision: 6233
Log message:

      I've merged the new_parser branch with the trunk. I am putting the result
      of the merge onto a new branch - "new_parser2" as there seems to be a few
      issues with it.
      

Changes  Path
Added metaprl/filter/base/filter_grammar.ml
Properties metaprl/filter/base/filter_grammar.ml
Added metaprl/filter/base/filter_grammar.mli
Properties metaprl/filter/base/filter_grammar.mli
Properties metaprl/tmp
Added metaprl/tmp/OMakefile
Properties metaprl/tmp/OMakefile
Added metaprl/util/genmagic.ml
Properties metaprl/util/genmagic.ml
+3 -3 metaprl-branches/new_parser2/OMakefile
+5 -5 metaprl-branches/new_parser2/editor/emacs/caml.el
Binary metaprl-branches/new_parser2/editor/emacs/caml.elc
+1 -0 metaprl-branches/new_parser2/editor/ml/OMakefile
+1 -0 metaprl-branches/new_parser2/filter/OMakefile
+2 -1 metaprl-branches/new_parser2/filter/base/Files
+256 -127 metaprl-branches/new_parser2/filter/base/filter_cache_fun.ml
+0 -1 metaprl-branches/new_parser2/filter/base/filter_cache_fun.mli
+53 -25 metaprl-branches/new_parser2/filter/base/filter_summary.ml
+78 -59 metaprl-branches/new_parser2/filter/base/filter_summary_type.ml
+30 -29 metaprl-branches/new_parser2/filter/base/filter_type.ml
+220 -38 metaprl-branches/new_parser2/filter/filter/filter_parse.ml
+32 -17 metaprl-branches/new_parser2/filter/filter/filter_prog.ml
+30 -10 metaprl-branches/new_parser2/filter/filter/term_grammar.ml
+2 -1 metaprl-branches/new_parser2/filter/filter/term_grammar.mli
+29 -30 metaprl-branches/new_parser2/mllib/file_base_type.ml
+2 -3 metaprl-branches/new_parser2/refiner/refbase/opname.ml
+1 -1 metaprl-branches/new_parser2/refiner/reflib/term_match_table.mli
+3 -0 metaprl-branches/new_parser2/refiner/refsig/term_shape_sig.ml
+2 -0 metaprl-branches/new_parser2/refiner/refsig/term_sig.ml
+2 -0 metaprl-branches/new_parser2/refiner/rewrite/rewrite_types.ml
+2 -0 metaprl-branches/new_parser2/refiner/term_ds/term_ds_sig.ml
+21 -45 metaprl-branches/new_parser2/refiner/term_gen/term_shape_gen.ml
+1 -1 metaprl-branches/new_parser2/support/display/OMakefile
+9 -4 metaprl-branches/new_parser2/support/shell/package_info.ml
+4 -0 metaprl-branches/new_parser2/support/shell/package_info.mli
+6 -0 metaprl-branches/new_parser2/support/shell/shell_core.ml
+2 -1 metaprl-branches/new_parser2/support/shell/shell_package.ml
+40 -0 metaprl-branches/new_parser2/support/shell/shell_state.ml
+2 -0 metaprl-branches/new_parser2/support/shell/shell_state.mli
Properties metaprl-branches/new_parser2/theories/base
+5 -0 metaprl-branches/new_parser2/util/OMakefile
Added mpcompiler/mmc/core/mmc_core_grammar.ml
Properties mpcompiler/mmc/core/mmc_core_grammar.ml
Added mpcompiler/mmc/core/mmc_core_grammar.mli
Properties mpcompiler/mmc/core/mmc_core_grammar.mli
Added mpcompiler/mmc/test/mmc_grammar.ml
Properties mpcompiler/mmc/test/mmc_grammar.ml
Added mpcompiler/mmc/test/mmc_grammar.mli
Properties mpcompiler/mmc/test/mmc_grammar.mli
Properties mpcompiler-branches/new_parser2/mmc
+1 -0 mpcompiler-branches/new_parser2/mmc/core/Files
+38 -0 mpcompiler-branches/new_parser2/mmc/core/mmc_core_ast.ml
+121 -1 mpcompiler-branches/new_parser2/mmc/core/mmc_core_ast.mli
+10 -0 mpcompiler-branches/new_parser2/mmc/extensions/bool/mmc_ext_bool.ml
+29 -0 mpcompiler-branches/new_parser2/mmc/extensions/bool/mmc_ext_bool.mli
+17 -0 mpcompiler-branches/new_parser2/mmc/extensions/int/mmc_ext_int.ml
+68 -0 mpcompiler-branches/new_parser2/mmc/extensions/int/mmc_ext_int.mli
+1 -0 mpcompiler-branches/new_parser2/mmc/extensions/operator/mmc_ext_operator.mli
+1 -0 mpcompiler-branches/new_parser2/mmc/test/Files
+15 -10 mpcompiler-branches/new_parser2/mmc/test/mmc_int_test.ml