Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-09-05 20:30:52 -0700 (Sun, 05 Sep 2004)
Revision: 6178
Log message:

      Added the grammar for MMC.
      
      This is in Mmc_core_ast, Mmc_ext_boolean, Mmc_ext_integer.
      
      We have 3 shift/reduce conflicts in the core grammar.  Somehow I'm
      having trouble turning on the debug flags, MP_DEBUG=parsegen doesn't
      seem to work, so I'll leave these conflicts for later.
      
      Also, defining grammars in the .mli file is a little awkward.
      Perhaps necessary, but I'm not sure.
      

Changes  Path
+8 -8 metaprl-branches/new_parser/OMakefile
+4 -5 metaprl-branches/new_parser/editor/emacs/caml.el
Binary metaprl-branches/new_parser/editor/emacs/caml.elc
+36 -21 metaprl-branches/new_parser/filter/base/filter_cache_fun.ml
+45 -24 metaprl-branches/new_parser/filter/base/filter_grammar.ml
+15 -9 metaprl-branches/new_parser/filter/base/filter_grammar.mli
+7 -6 metaprl-branches/new_parser/filter/base/filter_summary_type.ml
+46 -15 metaprl-branches/new_parser/filter/filter/filter_parse.ml
+1 -1 metaprl-branches/new_parser/filter/filter/filter_prog.ml
+3 -0 metaprl-branches/new_parser/refiner/refsig/term_shape_sig.ml
+21 -45 metaprl-branches/new_parser/refiner/term_gen/term_shape_gen.ml
+2 -4 metaprl-branches/new_parser/support/shell/package_info.ml
+2 -2 mpcompiler-branches/new_parser/mmc/OMakefile
+1 -0 mpcompiler-branches/new_parser/mmc/core/Files
+37 -0 mpcompiler-branches/new_parser/mmc/core/mmc_core_ast.ml
+115 -0 mpcompiler-branches/new_parser/mmc/core/mmc_core_ast.mli
Added mpcompiler-branches/new_parser/mmc/core/mmc_core_grammar.ml
Properties mpcompiler-branches/new_parser/mmc/core/mmc_core_grammar.ml
Added mpcompiler-branches/new_parser/mmc/core/mmc_core_grammar.mli
Properties mpcompiler-branches/new_parser/mmc/core/mmc_core_grammar.mli
+10 -0 mpcompiler-branches/new_parser/mmc/extensions/bool/mmc_ext_bool.ml
+29 -0 mpcompiler-branches/new_parser/mmc/extensions/bool/mmc_ext_bool.mli
+17 -0 mpcompiler-branches/new_parser/mmc/extensions/int/mmc_ext_int.ml
+67 -0 mpcompiler-branches/new_parser/mmc/extensions/int/mmc_ext_int.mli
+1 -0 mpcompiler-branches/new_parser/mmc/extensions/operator/mmc_ext_operator.mli
+97 -51 mpcompiler-branches/new_parser/mmc/test/mmc_grammar.ml