Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-20 02:37:22 -0700 (Sun, 20 Apr 2003)
Revision: 4463
Log message:

      Replaced reduce resource "let" improvements with annotations, where
      possible.
      

Changes  Path
+4 -5 metaprl/theories/czf/czf_itt_dall.ml
+4 -6 metaprl/theories/czf/czf_itt_dexists.ml
+7 -20 metaprl/theories/czf/czf_itt_eq.ml
+6 -14 metaprl/theories/czf/czf_itt_member.ml
+6 -6 metaprl/theories/czf/czf_itt_power.ml
+5 -15 metaprl/theories/czf/czf_itt_sep.ml
+6 -9 metaprl/theories/czf/czf_itt_set.ml
+5 -5 metaprl/theories/czf/czf_itt_set_bvd.ml
+6 -7 metaprl/theories/czf/czf_itt_union.ml
+15 -29 metaprl/theories/experimental/compile/m_inline.ml
+16 -34 metaprl/theories/experimental/compile/m_reserve.ml
+65 -130 metaprl/theories/experimental/compile/m_x86_codegen.ml
+7 -17 metaprl/theories/experimental/compile/m_x86_frame.ml
+2 -6 metaprl/theories/experimental/compile/m_x86_opt.ml
+8 -20 metaprl/theories/fir/mfir_bool.ml
+3 -7 metaprl/theories/fir/mfir_list.ml
+0 -1 metaprl/theories/fir/mfir_list.mli
+2 -4 metaprl/theories/fir/mfir_record.ml
+3 -7 metaprl/theories/fir/mfir_token.ml
+249 -684 metaprl/theories/fir/mfir_tr_atom_base.ml
+0 -1 metaprl/theories/itt/itt_algebra_df.ml
+6 -10 metaprl/theories/itt/itt_bintree.ml
+0 -1 metaprl/theories/itt/itt_bool.ml
+0 -1 metaprl/theories/itt/itt_collection.ml
+4 -5 metaprl/theories/itt/itt_cyclic_group.ml
+5 -7 metaprl/theories/itt/itt_datatree.ml
+8 -16 metaprl/theories/itt/itt_dprod.ml
+10 -22 metaprl/theories/itt/itt_dprod_imp.ml
+8 -18 metaprl/theories/itt/itt_example.ml
+20 -44 metaprl/theories/itt/itt_fset.ml
+1 -1 metaprl/theories/itt/itt_int_arith.ml
+1 -2 metaprl/theories/itt/itt_int_base.ml
+7 -14 metaprl/theories/itt/itt_int_ext.ml
+6 -17 metaprl/theories/itt/itt_list.ml
+50 -79 metaprl/theories/itt/itt_list2.ml
+3 -7 metaprl/theories/itt/itt_nat.ml
+21 -32 metaprl/theories/itt/itt_rbtree.ml
+4 -6 metaprl/theories/itt/itt_record.ml
+7 -22 metaprl/theories/itt/itt_record0.ml
+6 -14 metaprl/theories/itt/itt_record_exm.ml
+0 -0 metaprl/theories/itt/itt_record_label.ml
+4 -7 metaprl/theories/itt/itt_record_label0.ml
+0 -1 metaprl/theories/itt/itt_relation_str.ml
+6 -13 metaprl/theories/itt/itt_rfun.ml
+0 -1 metaprl/theories/itt/itt_sort.ml
+0 -1 metaprl/theories/itt/itt_sortedtree.ml
+2 -3 metaprl/theories/itt/itt_test.ml
+5 -15 metaprl/theories/itt/itt_union.ml
+0 -1 metaprl/theories/itt/itt_union2.ml
+3 -4 metaprl/theories/itt/itt_w.ml
+2 -7 metaprl/theories/mc/mp_mc_deadcode.ml
+2 -7 metaprl/theories/mc/mp_mc_fir_eval.ml
+2 -7 metaprl/theories/mc/mp_mc_inline_aux.ml
+1 -5 metaprl/theories/phobos/phobos_theory.ml