Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-26 17:09:28 -0800 (Sat, 26 Mar 2005)
Revision: 7053
Log message:

      Oops, the _ variable gets turned into an empty variable.  I'm not sure
      if we should fix Lm_symbol, but in any case, I've updated Filter_patt
      to consider "" to denote a wildcard pattern.
      
      Also, when we use simple wildcards, the syntax become unreadable
      (at least to me).  OCaml plans to treat variables that begin with an
      underscore as real variables, but with special meaning wrt dead code.
      In fact, it may already do this.
      
      To handle these issues, Filter_patt now considers the following veriables
      to denote wildcards:
         1. the empty string,
         2. a single underscore,
         3. a double underscore followed by anything.
      

Changes	Path
+10 -6	metaprl/filter/filter/filter_patt.ml
+64 -6	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+9 -0	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.mli