Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-21 19:31:29 -0800 (Mon, 21 Feb 2005)
Revision: 6741
Log message:

      Different quotations should not be required to use the
      same lexer.  This commit adds the ability to define multiple
      lexers (the grammars can still be shared).
      
      Now, instead of
         lex_token "[0-9]+" --> number[lexeme:n]
      you have to specify the lexer
         declare mmc : Lexer
         ...
         lex_token mmc : "[0-9]+" --> number[lexeme:n]
      
      CAUTION: this commit breaks binary compatibility.  I'm sorry about
      this hassle--the change doesn't really affect those of you who
      don't use the input grammars.  In any case, you should export any
      unsaved work before updating from cvs.
      

Changes  Path
+5 -2 metaprl/filter/base/OMakefile
+6 -6 metaprl/filter/base/filter_cache_fun.ml
+74 -22 metaprl/filter/base/filter_grammar.ml
+8 -2 metaprl/filter/base/filter_grammar.mli
+3 -2 metaprl/filter/base/filter_magic.ml
+2 -2 metaprl/filter/base/filter_summary_type.ml
+14 -14 metaprl/filter/filter/filter_parse.ml
+6 -0 metaprl/support/display/perv.mli
+14 -0 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+14 -14 mpcompiler/mmc/core/mmc_core_ast.mli
+7 -6 mpcompiler/mmc/core/mmc_core_grammar.mli
+9 -9 mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+19 -19 mpcompiler/mmc/extensions/int/mmc_ext_int.mli