Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-03 18:24:25 -0700 (Sun, 03 Apr 2005)
Revision: 7101
Log message:

      In iform checking, handle quoted shapes by stripping the quotes.
      
      Splitting inliner into multiple parts.
      

Changes	Path
+8 -7	metaprl/filter/base/filter_cache_fun.ml
+2 -0	metaprl/refiner/refiner/refiner_debug.ml
+1 -0	metaprl/refiner/refsig/term_shape_sig.ml
+18 -0	metaprl/refiner/term_gen/term_shape_gen.ml
+1 -1	mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
+1 -1	mpcompiler/mmc/extensions/int/mmc_opt_int.ml
+1 -1	mpcompiler/mmc/lir/mmc_lir_closure_elim.ml
+1 -0	mpcompiler/mmc/opt/direct/mmc_opt_direct.ml
+1 -0	mpcompiler/mmc/opt/inline/Files
+2 -175	mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
+2 -51	mpcompiler/mmc/opt/inline/mmc_opt_inline.mli
Added	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.ml
Properties	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.ml
Added	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.mli
Properties	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.mli